diff options
| -rwxr-xr-x | bin/reproducible_blacklist.sh | 5 | ||||
| -rwxr-xr-x | bin/reproducible_schedule_on_demand.sh | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/bin/reproducible_blacklist.sh b/bin/reproducible_blacklist.sh index 2c02a1f0..9269c21d 100755 --- a/bin/reproducible_blacklist.sh +++ b/bin/reproducible_blacklist.sh @@ -41,6 +41,11 @@ check_candidates() { set +x SUITE="$1" shift +if [ "$SUITE" = "sid" ] ; then + echo "WARNING: sid has been renamed to unstable." + SUITE=unstable +fi + CANDIDATES="$@" check_candidates PACKAGES=$(echo $PACKAGES) 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 |