diff options
| -rwxr-xr-x | bin/reproducible_schedule_on_demand.sh | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/bin/reproducible_schedule_on_demand.sh b/bin/reproducible_schedule_on_demand.sh index 77a7b321..718c13d4 100755 --- a/bin/reproducible_schedule_on_demand.sh +++ b/bin/reproducible_schedule_on_demand.sh @@ -13,12 +13,10 @@ else exit 1 fi +export LC_USER="$REQUESTER" +export LOCAL_CALL="true" if [ -z "$1" ] ; then - PARAMS="--help" + /srv/jenkins/bin/reproducible_remote_scheduler.py --help else - PARAMS="$@" + /srv/jenkins/bin/reproducible_remote_scheduler.py "$@" fi - -LC_USER="$REQUESTER" \ -LOCAL_CALL="true" \ -/srv/jenkins/bin/reproducible_remote_scheduler.py $PARAMS |