diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-03-20 21:05:08 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-03-20 21:05:08 +0100 |
| commit | 12e46121dbb8ddb131ba49b5d07b34d25100b502 (patch) | |
| tree | aa34a5ffa051bd9826859e11f031b2ce1f0c0ac7 /bin/reproducible_schedule_on_demand.sh | |
| parent | c93e42cacf2fde1148e0a4e6a7d1e3a4e4d1def2 (diff) | |
| download | jenkins.debian.net-12e46121dbb8ddb131ba49b5d07b34d25100b502.tar.xz | |
reproducible: improve language and shell robustness
Diffstat (limited to 'bin/reproducible_schedule_on_demand.sh')
| -rwxr-xr-x | bin/reproducible_schedule_on_demand.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_schedule_on_demand.sh b/bin/reproducible_schedule_on_demand.sh index c4bd9877..a4636bf4 100755 --- a/bin/reproducible_schedule_on_demand.sh +++ b/bin/reproducible_schedule_on_demand.sh @@ -23,11 +23,11 @@ if [ "$SUITE" = "sid" ] ; then fi ARTIFACTS=0 -if [ $1 = "artifacts" ] ; then +if [ "$1" = "artifacts" ] ; then ARTIFACTS=1 shift echo - echo "The artifacts of these builds will be saved. Look at the build log for the link" + echo "The artifacts of the build(s) will be saved to the location mentioned at the end of the build log(s)." echo fi |