Merge commit 'origin/master'

1 files changed, 2 insertions, 1 deletions

diff --git a/util.h b/util.h
index bb6c71bc..8fc64cbd 100644
--- a/util.h
+++ b/util.h
@@ -15,7 +15,8 @@ int remove_file_or_dir(const char *dir);
 bool in_group_id (gid_t target_gid);
 void tokenize(const std::string& str, std::vector<std::string>& tokens,
 	      const std::string& delimiters);
-std::string find_executable(const std::string& name);
+std::string find_executable(const std::string& name,
+			    const std::string& env_path = "PATH");
 const std::string cmdstr_quoted(const std::string& cmd);
 std::string git_revision(const std::string& path);
 int stap_system(int verbose, const std::string& command);