Merge branch 'master' of https://github.com/google/or-tools

google · Jan 24, 2017 · 8486c77 · 8486c77
2 parents 72e661f + 7b6f5f2
commit 8486c77
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/makefiles/Makefile.port b/makefiles/Makefile.port
@@ -159,7 +159,7 @@ ifeq ("$(SYSTEM)","win")
   else
     SELECTED_PATH_TO_PYTHON = WINDOWS_PATH_TO_PYTHON = $(DETECTED_PATH_TO_PYTHON)
   endif
-  WINDOWS_PYTHON_VERSION = $(shell python -c "from sys import version_info as v; print (str(v[0]) + str(v[1]))")
+  WINDOWS_PYTHON_VERSION = $(shell $(WINDOWS_PATH_TO_PYTHON)\python -c "from sys import version_info as v; print (str(v[0]) + str(v[1]))")
 
   #Detect csc