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

and make it a fatal error.

diff --git a/.Sanitize b/.Sanitize
index 445984e8fea52a31f200c3cc9492afbe89374fab..44bbb4d5b847c280ca61a0b8c37b1473b18d4552 100644 (file)
--- a/.Sanitize
+++ b/.Sanitize
@@ -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