diff options
author | Gavin Romig-Koch <gavin@redhat.com> | 1998-03-03 16:20:17 +0000 |
---|---|---|
committer | Gavin Romig-Koch <gavin@redhat.com> | 1998-03-03 16:20:17 +0000 |
commit | 7cdb3e273ab8daf9d4a7b0371bbe204afa4bc099 (patch) | |
tree | 158fa72766f8a5062ac28d0d06dce90b00cda154 /ld/.Sanitize | |
parent | e4e30cdca46c7f2e392f1449ce7c6de7020046f6 (diff) | |
download | gdb-7cdb3e273ab8daf9d4a7b0371bbe204afa4bc099.zip gdb-7cdb3e273ab8daf9d4a7b0371bbe204afa4bc099.tar.gz gdb-7cdb3e273ab8daf9d4a7b0371bbe204afa4bc099.tar.bz2 |
* configure.tgt (mips*vr4320el-*-elf*,mips*vr4320-*-elf*): Added.
Diffstat (limited to 'ld/.Sanitize')
-rw-r--r-- | ld/.Sanitize | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/ld/.Sanitize b/ld/.Sanitize index 1b8a917..b8e01ab 100644 --- a/ld/.Sanitize +++ b/ld/.Sanitize @@ -176,6 +176,35 @@ else done fi +vr4320_files="ChangeLog configure.tgt" + +if ( echo $* | grep keep\-vr4320 > /dev/null ) ; then + for i in $vr4320_files ; do + if test ! -d $i && (grep sanitize-vr4320 $i > /dev/null) ; then + if [ -n "${verbose}" ] ; then + echo Keeping vr4320 stuff in $i + fi + fi + done +else + for i in $vr4320_files ; do + if test ! -d $i && (grep sanitize-vr4320 $i > /dev/null) ; then + if [ -n "${verbose}" ] ; then + echo Removing traces of \"vr4320\" from $i... + fi + cp $i new + sed '/start\-sanitize\-vr4320/,/end-\sanitize\-vr4320/d' < $i > new + if [ -n "${safe}" -a ! -f .Recover/$i ] ; then + if [ -n "${verbose}" ] ; then + echo Caching $i in .Recover... + fi + mv $i .Recover + fi + mv new $i + fi + done +fi + tic80_files="ChangeLog configure.tgt Makefile.am Makefile.in" if ( echo $* | grep keep\-tic80 > /dev/null ) ; then |