Index: python_git_runner.sh |
diff --git a/python_git_runner.sh b/python_git_runner.sh |
index c00b5ccb75d485e93625e63ae2b0dcda1b72eac3..bde196b9f70ad6b34ca7598dca72b71ffa18fc34 100755 |
--- a/python_git_runner.sh |
+++ b/python_git_runner.sh |
@@ -16,7 +16,7 @@ OUTPUT="$(uname | grep 'MINGW')" |
MINGW=$? |
BASE="$(basename "$0")" |
-SCRIPT="${BASE//-/_}.py" |
+SCRIPT="${SCRIPT-${BASE//-/_}.py}" |
if [ $MINGW = 0 ]; then |
base_dir="${0%\\*}" |