Add another option to get python by using the unversioned name

diff --git a/src/support/os.cpp b/src/support/os.cpp
index af68fc4a06eba5908db40058f81ac74b20ac530d..9a901cfd02d8d4140ba0fc6f2983333543a39f9e 100644 (file)
--- a/src/support/os.cpp
+++ b/src/support/os.cpp
@@ -128,6 +128,10 @@ static string const find_python_binary()
                }
        }
 
+       // last chance: try the unversioned name
+       if (command.empty())
+         command = python_call("python");
+
        if (!command.empty())
                return command;