diff options
| author | Ken Raeburn <raeburn@cygnus> | 1995-10-31 02:01:13 +0000 |
|---|---|---|
| committer | Ken Raeburn <raeburn@cygnus> | 1995-10-31 02:01:13 +0000 |
| commit | 3b0fb9c90df799c1e5d4be0042206e0f0e2d1fbf (patch) | |
| tree | 64a691980ea9a1594e7f175f602ea764ec717763 /.Sanitize | |
| parent | 92caaa6a626f097e57742260c7d3bf71da10097d (diff) | |
| download | gdb-3b0fb9c90df799c1e5d4be0042206e0f0e2d1fbf.zip gdb-3b0fb9c90df799c1e5d4be0042206e0f0e2d1fbf.tar.gz gdb-3b0fb9c90df799c1e5d4be0042206e0f0e2d1fbf.tar.bz2 | |
Put the "some mentions of sanitize..." check *after* the GM sanitization,
and make it a fatal error.
Diffstat (limited to '.Sanitize')
| -rw-r--r-- | .Sanitize | 14 |
1 files changed, 8 insertions, 6 deletions
@@ -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 |