From 3b0fb9c90df799c1e5d4be0042206e0f0e2d1fbf Mon Sep 17 00:00:00 2001
From: Ken Raeburn <raeburn@cygnus>
Date: Tue, 31 Oct 1995 02:01:13 +0000
Subject: [PATCH] Put the "some mentions of sanitize..." check *after* the GM
 sanitization, and make it a fatal error.

---
 .Sanitize | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/.Sanitize b/.Sanitize
index 445984e8fea..44bbb4d5b84 100644
--- 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
-- 
2.30.2