diff --git a/build.sh b/build.sh index 8310db7e..3f61270a 100755 --- a/build.sh +++ b/build.sh @@ -40,16 +40,12 @@ export TASK COMPLETE make distclean make ${CODENAME}_status -if [ "$SKIPMIRRORCHECK" = "yes" ]; then - echo " ... WARNING: skipping mirror check" -else - echo " ... checking your mirror" - RET="" - make mirrorcheck || RET=$? - if [ "$RET" ]; then +echo " ... checking your mirror" +RET="" +make mirrorcheck || RET=$? +if [ "$RET" ]; then echo "ERROR: Your mirror has a problem, please correct it." >&2 exit 1 - fi fi if [ -z "$IMAGETARGET" ] ; then diff --git a/debian/changelog b/debian/changelog index 657fe9e3..cab372d8 100644 --- a/debian/changelog +++ b/debian/changelog @@ -182,6 +182,7 @@ debian-cd (3.0.0) UNRELEASED; urgency=low + old defs and rules in the Makefile + tools/add_secured + don't depend on jigdo-file any more + + Remove the SKIPMIRRORCHECK variable, now completely obsolete * Other cleanups: + Make build_all.sh work again, adapting build.sh