fix python interpreter on Windows

RalfJung · RalfJung · commit fdebecbb086a · 2020-05-11T10:58:27.000+02:00
diff --git a/.appveyor.yml b/.appveyor.yml
@@ -38,6 +38,7 @@ install:
 - cargo --version
 
 test_script:
+- set PYTHON=C:\msys64\mingw64\bin\python3.exe
 - bash ci.sh
 
 after_test:
diff --git a/ci.sh b/ci.sh
@@ -29,7 +29,7 @@ function run_tests {
   fi
   # "miri test" has built the sysroot for us, now this should pass without
   # any interactive questions.
-  test-cargo-miri/run-test.py
+  ${PYTHON:-python3} test-cargo-miri/run-test.py
 
   echo
 }

Original file line number	Diff line number	Diff line change
`@@ -29,7 +29,7 @@ function run_tests {`
`29`	`29`	`fi`
`30`	`30`	`# "miri test" has built the sysroot for us, now this should pass without`
`31`	`31`	`# any interactive questions.`
`32`		`- test-cargo-miri/run-test.py`
	`32`	`+ ${PYTHON:-python3} test-cargo-miri/run-test.py`
`33`	`33`
`34`	`34`	`echo`
`35`	`35`	`}`