Remove the SKIPMIRRORCHECK variable, now completely obsolete

build.sh

@@ -40,9 +40,6 @@ 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=$?
@@ -50,7 +47,6 @@ else
 	echo "ERROR: Your mirror has a problem, please correct it." >&2
 	exit 1
 fi
-fi
 
 if [ -z "$IMAGETARGET" ] ; then
     IMAGETARGET="official_images"

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