diff options
| author | Michael Tiemann <tiemann@cygnus> | 1994-11-24 21:48:21 +0000 |
|---|---|---|
| committer | Michael Tiemann <tiemann@cygnus> | 1994-11-24 21:48:21 +0000 |
| commit | 9f554efd623851a218c9469065952d6014c7624a (patch) | |
| tree | 7c82990097b97b701cae7849670cd35e899a7a7f /opcodes/.Sanitize | |
| parent | 5c680afdc4ad38f0003d859eee11cafa2409ad0e (diff) | |
| download | gdb-9f554efd623851a218c9469065952d6014c7624a.zip gdb-9f554efd623851a218c9469065952d6014c7624a.tar.gz gdb-9f554efd623851a218c9469065952d6014c7624a.tar.bz2 | |
*** empty log message ***
Diffstat (limited to 'opcodes/.Sanitize')
| -rw-r--r-- | opcodes/.Sanitize | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/opcodes/.Sanitize b/opcodes/.Sanitize index 8270e39..ef7b20a 100644 --- a/opcodes/.Sanitize +++ b/opcodes/.Sanitize @@ -98,7 +98,7 @@ 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 @@ -106,7 +106,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... |