diff options
Diffstat (limited to 'bin/reproducible_schedule_on_demand.sh')
| -rwxr-xr-x | bin/reproducible_schedule_on_demand.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/reproducible_schedule_on_demand.sh b/bin/reproducible_schedule_on_demand.sh index 07df687a..e58d2f0b 100755 --- a/bin/reproducible_schedule_on_demand.sh +++ b/bin/reproducible_schedule_on_demand.sh @@ -17,6 +17,11 @@ common_init "$@" set +x SUITE="$1" shift +if [ "$SUITE" = "sid" ] ; then + echo "WARNING: sid has been renamed to unstable." + SUITE=unstable +fi + CANDIDATES="$@" check_candidates if [ ${#PACKAGE_IDS} -gt 256 ] ; then |