diff options
| author | 2016-01-07 11:45:11 +0000 | |
|---|---|---|
| committer | 2016-01-07 11:45:11 +0000 | |
| commit | 7ede3dd40e2f7da3e3073cc355312021c31820b3 (patch) | |
| tree | 8ecf4374076c710a128bd47d3fa48e60a1a253e8 /runtime/utils.h | |
| parent | a90d8bc3a3772877f4490d0509d53053069e5b55 (diff) | |
| parent | 5e2b971e468ca73a8e10a120730b3b6f17fad408 (diff) | |
Merge "Assume the profile file was created before saving."
Diffstat (limited to 'runtime/utils.h')
| -rw-r--r-- | runtime/utils.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/runtime/utils.h b/runtime/utils.h index a07e74c62b..5ceb3b5cd4 100644 --- a/runtime/utils.h +++ b/runtime/utils.h @@ -276,6 +276,9 @@ std::string GetSystemImageFilename(const char* location, InstructionSet isa); // Wrapper on fork/execv to run a command in a subprocess. bool Exec(std::vector<std::string>& arg_vector, std::string* error_msg); +// Returns true if the file exists. +bool FileExists(const std::string& filename); + class VoidFunctor { public: template <typename A> |