diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2018-06-20 14:27:39 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-06-20 14:27:39 +0200 |
commit | 58b45a7078b5b526f5b6879cfa606d8f0601fedc (patch) | |
tree | f582e7b781f1cb2f419afd3564a988681fd94f3e /odb | |
parent | 530afc5a6f06c21fc4bcfc40f34497caad08befb (diff) |
When starting process on Windows assume .exe extension if unspecified
Diffstat (limited to 'odb')
-rw-r--r-- | odb/odb.cxx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/odb/odb.cxx b/odb/odb.cxx index 4861e7d..28c4558 100644 --- a/odb/odb.cxx +++ b/odb/odb.cxx @@ -1849,6 +1849,8 @@ start_process (char const* args[], char const* name, bool err, bool out) // if (file.directory ().empty ()) file = path_search (file); + else if (file.base () == file) // No extension + file += ".exe"; // Assume .exe. if (file.empty ()) { |