Put the "some mentions of sanitize..." check *after* the GM sanitization,

and make it a fatal error.
This commit is contained in:
Ken Raeburn 1995-10-31 02:01:13 +00:00
parent 92caaa6a62
commit 3b0fb9c90d
1 changed files with 8 additions and 6 deletions

View File

@ -368,12 +368,6 @@ if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then
mv new Makefile.in
fi
for i in * ; do
if test ! -d $i && (grep sanitize $i > /dev/null) ; then
echo '***' Some mentions of Sanitize are still left in $i! 1>&2
fi
done
if ( echo $* | grep keep\-gm > /dev/null ) ; then
for i in * ; do
if test ! -d $i && (grep sanitize-gm $i > /dev/null) ; then
@ -401,4 +395,12 @@ else
done
fi
# Do this check LAST!
for i in * ; do
if test ! -d $i && (grep sanitize $i > /dev/null) ; then
echo '***' Some mentions of Sanitize are still left in $i! 1>&2
exit 1
fi
done
# eof