aboutsummaryrefslogtreecommitdiff
path: root/.Sanitize
diff options
context:
space:
mode:
authorMichael Tiemann <tiemann@cygnus>1994-11-24 21:48:21 +0000
committerMichael Tiemann <tiemann@cygnus>1994-11-24 21:48:21 +0000
commit9f554efd623851a218c9469065952d6014c7624a (patch)
tree7c82990097b97b701cae7849670cd35e899a7a7f /.Sanitize
parent5c680afdc4ad38f0003d859eee11cafa2409ad0e (diff)
downloadgdb-9f554efd623851a218c9469065952d6014c7624a.zip
gdb-9f554efd623851a218c9469065952d6014c7624a.tar.gz
gdb-9f554efd623851a218c9469065952d6014c7624a.tar.bz2
*** empty log message ***
Diffstat (limited to '.Sanitize')
-rw-r--r--.Sanitize4
1 files changed, 2 insertions, 2 deletions
diff --git a/.Sanitize b/.Sanitize
index 402d926..1269469 100644
--- a/.Sanitize
+++ b/.Sanitize
@@ -210,7 +210,7 @@ fi
r16_files = "config.sub"
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
@@ -218,7 +218,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...