diff options
| author | Ken Raeburn <raeburn@cygnus> | 1998-08-12 10:50:35 +0000 |
|---|---|---|
| committer | Ken Raeburn <raeburn@cygnus> | 1998-08-12 10:50:35 +0000 |
| commit | 3d759c53c925566cd94b579aa4751191d40ae4ab (patch) | |
| tree | fac779eb7d661f7de76ede0918dec61e4fbde326 /gdb/.Sanitize | |
| parent | 485c39eb7bbc101b57686abb2e0378ef3f641f90 (diff) | |
| download | gdb-3d759c53c925566cd94b579aa4751191d40ae4ab.zip gdb-3d759c53c925566cd94b579aa4751191d40ae4ab.tar.gz gdb-3d759c53c925566cd94b579aa4751191d40ae4ab.tar.bz2 | |
sanitize-vr5400 -> sanitize-cygnus, for 98r2
Diffstat (limited to 'gdb/.Sanitize')
| -rw-r--r-- | gdb/.Sanitize | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gdb/.Sanitize b/gdb/.Sanitize index 0a65127..51a6c81 100644 --- a/gdb/.Sanitize +++ b/gdb/.Sanitize @@ -690,22 +690,22 @@ else done fi -if ( echo $* | grep keep\-vr5400 > /dev/null ) ; then +if ( echo $* | grep keep\-cygnus > /dev/null ) ; then for i in * ; do - if test ! -d $i && (grep sanitize-vr5400 $i > /dev/null) ; then + if test ! -d $i && (grep sanitize-cygnus $i > /dev/null) ; then if [ -n "${verbose}" ] ; then - echo Keeping vr5400 stuff in $i + echo Keeping cygnus stuff in $i fi fi done else for i in * ; do - if test ! -d $i && (grep sanitize-vr5400 $i > /dev/null) ; then + if test ! -d $i && (grep sanitize-cygnus $i > /dev/null) ; then if [ -n "${verbose}" ] ; then - echo Removing traces of \"vr5400\" from $i... + echo Removing traces of \"cygnus\" from $i... fi cp $i new - sed '/start\-sanitize\-vr5400/,/end-\sanitize\-vr5400/d' < $i > new + sed '/start\-sanitize\-cygnus/,/end-\sanitize\-cygnus/d' < $i > new if [ -n "${safe}" -a ! -f .Recover/$i ] ; then if [ -n "${verbose}" ] ; then echo Caching $i in .Recover... |