aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-06-20 14:27:39 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-06-20 14:27:39 +0200
commit58b45a7078b5b526f5b6879cfa606d8f0601fedc (patch)
treef582e7b781f1cb2f419afd3564a988681fd94f3e
parent530afc5a6f06c21fc4bcfc40f34497caad08befb (diff)
When starting process on Windows assume .exe extension if unspecified
-rw-r--r--odb/odb.cxx2
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 ())
{