diff options
| author | Ron Unrau <runrau@cygnus> | 1998-01-22 23:25:18 +0000 |
|---|---|---|
| committer | Ron Unrau <runrau@cygnus> | 1998-01-22 23:25:18 +0000 |
| commit | 64708c01f5f8f4d3da6c60ed7dfcf7b9ed3a0036 (patch) | |
| tree | 8e613d45e13a4b9fdd7aae9e72d79a49534546a8 /gdb | |
| parent | ea4d289e43fb7f605e3bb9f28a60cedda6cb9214 (diff) | |
| download | binutils-64708c01f5f8f4d3da6c60ed7dfcf7b9ed3a0036.zip binutils-64708c01f5f8f4d3da6c60ed7dfcf7b9ed3a0036.tar.gz binutils-64708c01f5f8f4d3da6c60ed7dfcf7b9ed3a0036.tar.bz2 | |
Add sanitize-sky for txvu stuff.
Diffstat (limited to 'gdb')
| -rw-r--r-- | gdb/.Sanitize | 41 | ||||
| -rw-r--r-- | gdb/config/mips/.Sanitize | 6 |
2 files changed, 47 insertions, 0 deletions
diff --git a/gdb/.Sanitize b/gdb/.Sanitize index 165a594..ce1d063 100644 --- a/gdb/.Sanitize +++ b/gdb/.Sanitize @@ -74,6 +74,20 @@ else fi fi +sky_files="txvu-tdep.c" + +if ( echo $* | grep keep\-sky > /dev/null ) ; then + keep_these_too="${sky_files} ${keep_these_too}" + if [ -n "${verbose}" ] ; then + echo Keeping ${sky_files} + fi +else + lose_these_too="${sky_files} ${lose_these_too}" + if [ -n "${verbose}" ] ; then + echo Deleting ${sky_files} + fi +fi + # All files listed between the "Things-to-keep:" line and the # "Files-to-sed:" line will be kept. All other files will be removed. # Directories listed in this section will have their own Sanitize @@ -632,6 +646,33 @@ else done fi +if ( echo $* | grep keep\-sky > /dev/null ) ; then + for i in * ; do + if test ! -d $i && (grep sanitize-sky $i > /dev/null) ; then + if [ -n "${verbose}" ] ; then + echo Keeping sky stuff in $i + fi + fi + done +else + for i in * ; do + if test ! -d $i && (grep sanitize-sky $i > /dev/null) ; then + if [ -n "${verbose}" ] ; then + echo Removing traces of \"sky\" from $i... + fi + cp $i new + sed '/start\-sanitize\-sky/,/end-\sanitize\-sky/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 + if ( echo $* | grep keep\-vr5400 > /dev/null ) ; then for i in * ; do if test ! -d $i && (grep sanitize-vr5400 $i > /dev/null) ; then diff --git a/gdb/config/mips/.Sanitize b/gdb/config/mips/.Sanitize index 3953b5a..fd379ff 100644 --- a/gdb/config/mips/.Sanitize +++ b/gdb/config/mips/.Sanitize @@ -49,6 +49,12 @@ else lose_these_too="tm-r5900.h r5900.mt ${lose_these_too}" fi +if ( echo $* | grep keep\-sky > /dev/null ) ; then + keep_these_too="tm-txvu.h txvu.mt ${keep_these_too}" +else + lose_these_too="tm-txvu.h txvu.mt ${lose_these_too}" +fi + # All files listed between the "Things-to-keep:" line and the # "Files-to-sed:" line will be kept. All other files will be removed. # Directories listed in this section will have their own Sanitize |