diff options
| -rwxr-xr-x | bin/reproducible_schedule_on_demand.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_schedule_on_demand.sh b/bin/reproducible_schedule_on_demand.sh index aba56576..77a7b321 100755 --- a/bin/reproducible_schedule_on_demand.sh +++ b/bin/reproducible_schedule_on_demand.sh @@ -13,7 +13,7 @@ else exit 1 fi -if [ -z "$@" ] ; then +if [ -z "$1" ] ; then PARAMS="--help" else PARAMS="$@" |