diff options
-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 ()) { |