diff options
Diffstat (limited to 'gas/.Sanitize')
| -rw-r--r-- | gas/.Sanitize | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gas/.Sanitize b/gas/.Sanitize index 78022e5..26df3f4 100644 --- a/gas/.Sanitize +++ b/gas/.Sanitize @@ -126,8 +126,9 @@ else fi r16_files = "configure.in" + if ( echo $* | grep keep\-r16 > /dev/null ) ; then - for i in r16_files ; do + for i in $r16_files ; do if test ! -d $i && (grep sanitize-r16 $i > /dev/null) ; then if [ -n "${verbose}" ] ; then echo Keeping r16 stuff in $i @@ -135,7 +136,7 @@ if ( echo $* | grep keep\-r16 > /dev/null ) ; then fi done else - for i in r16_files ; do + for i in $r16_files ; do if test ! -d $i && (grep sanitize-r16 $i > /dev/null) ; then if [ -n "${verbose}" ] ; then echo Removing traces of \"r16\" from $i... |