From 58b45a7078b5b526f5b6879cfa606d8f0601fedc Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Wed, 20 Jun 2018 14:27:39 +0200
Subject: When starting process on Windows assume .exe extension if unspecified

---
 odb/odb.cxx | 2 ++
 1 file changed, 2 insertions(+)

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 ())
   {
-- 
cgit v1.1