diff --git a/main-run.sh b/main-run.sh old mode 100644 new mode 100755 index 6e8dcdd6b129d7ed4ff9db9d119782c98b87ae10_bWFpbi1ydW4uc2g=..e42e4694d6d9e3b7381b9dacc97de1dd06619e3c_bWFpbi1ydW4uc2g= --- a/main-run.sh +++ b/main-run.sh @@ -9,4 +9,7 @@ rm -rf "${ROOT}"/env/ target="${1-1.9:: and tagged()}" +if [ "$#" -ge 1 ]; then + shift +fi @@ -12,3 +15,3 @@ -"${ROOT}"/launch.sh "$target" -s 10 +"${ROOT}"/launch.sh "$target" -s 10 "$@" netlify deploy diff --git a/scheduler.py b/scheduler.py index 6e8dcdd6b129d7ed4ff9db9d119782c98b87ae10_c2NoZWR1bGVyLnB5..e42e4694d6d9e3b7381b9dacc97de1dd06619e3c_c2NoZWR1bGVyLnB5 100644 --- a/scheduler.py +++ b/scheduler.py @@ -25,7 +25,7 @@ from os.path import dirname, join, abspath -SCRIPT = abspath(join(dirname(__file__), "launch.sh")) +SCRIPT = abspath(join(dirname(__file__), "main-run.sh")) def read_next_scheduling(task_file_path):