diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-11-07 14:10:03 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-11-07 14:10:03 +0100 |
| commit | 1f4b35e06d7ff3629d8f04a8aebc98cccd7a1905 (patch) | |
| tree | 164aef114532ab6910439aecad45b47ca20b3968 | |
| parent | 9892ed9113288601902e8c1995c9e77fbdec8477 (diff) | |
| download | jenkins.debian.net-1f4b35e06d7ff3629d8f04a8aebc98cccd7a1905.tar.xz | |
reproducible Debian: show help by default
| -rwxr-xr-x | bin/reproducible_schedule_on_demand.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/bin/reproducible_schedule_on_demand.sh b/bin/reproducible_schedule_on_demand.sh index 27bb0fbc..8358319b 100755 --- a/bin/reproducible_schedule_on_demand.sh +++ b/bin/reproducible_schedule_on_demand.sh @@ -13,6 +13,12 @@ else exit 1 fi +if [ "$@" = "" ] ; then + PARAMS = "--help" +else + PARAMS = "$@" +fi + LC_USER="$REQUESTER" \ LOCAL_CALL="true" \ -/srv/jenkins/bin/reproducible_remote_scheduler.py "$@" +/srv/jenkins/bin/reproducible_remote_scheduler.py $PARAMS |