summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/common-functions.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/common-functions.sh b/bin/common-functions.sh
index a3d0a57c..deaf1747 100755
--- a/bin/common-functions.sh
+++ b/bin/common-functions.sh
@@ -57,6 +57,8 @@ if [ "${0:0:5}" != "/tmp/" ] ; then
abort_if_bug_is_still_open 848422 ;;
edu-packages_sid*)
abort_if_bug_is_still_open 848422 ;;
+ reproducible_*_from_git_master)
+ abort_if_bug_is_still_open 848422 ;;
chroot-installation_sid_install_education*)
abort_if_bug_is_still_open 848422 ;;
chroot-installation_stretch_install_education-*_upgrade_to_sid)