make the make mirrorcheck optional, to save time when testing. thus:

SKIPMIRRORCHECK=yes ./build_all.sh
This commit is contained in:
Philip Hands 2002-05-06 10:36:49 +00:00
parent f3edfa9f2e
commit 71f060e868
1 changed files with 6 additions and 1 deletions

View File

@ -14,7 +14,12 @@ do
make distclean make distclean
make ${CODENAME}_status make ${CODENAME}_status
echo " ... checking your mirror" echo " ... checking your mirror"
make mirrorcheck if [ "$SKIPMIRRORCHECK" != "yes" ] ; then
make mirrorcheck
else
echo "WARNING: skipping mirrorcheck"
fi
if [ $? -gt 0 ]; then if [ $? -gt 0 ]; then
echo "ERROR: Your mirror has a problem, please correct it." >&2 echo "ERROR: Your mirror has a problem, please correct it." >&2
exit 1 exit 1