diff options
author | Chris Lamb <lamby@debian.org> | 2015-02-19 02:18:54 +0000 |
---|---|---|
committer | Chris Lamb <lamby@debian.org> | 2015-02-19 02:18:54 +0000 |
commit | 103e698d8d6f8581c1921a9cf39796df04502626 (patch) | |
tree | 577728a5497a94dc2976f0aa7cabef7d1b2d93cc | |
parent | a51f8999a4e5b6053f082cc67e2ee48a33f54744 (diff) | |
download | jenkins.debian.net-103e698d8d6f8581c1921a9cf39796df04502626.tar.xz |
We don't care whether it's been *re* scheduled, just that its scheduled.
-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 f57dcd0f..afe8f446 100755 --- a/bin/reproducible_schedule_on_demand.sh +++ b/bin/reproducible_schedule_on_demand.sh @@ -60,7 +60,7 @@ if [ ${#PACKAGES} -gt 256 ] ; then BLABLABLA="..." fi PACKAGES=$(echo $PACKAGES) -MESSAGE="$TOTAL $PACKAGES_TXT manually (re-)scheduled for immediate testing: ${PACKAGES:0:256}$BLABLABLA" +MESSAGE="$TOTAL $PACKAGES_TXT manually scheduled for immediate testing: ${PACKAGES:0:256}$BLABLABLA" # finally schedule_packages |