diff options
author | Stu Grossman <grossman@cygnus> | 1996-09-28 01:23:45 +0000 |
---|---|---|
committer | Stu Grossman <grossman@cygnus> | 1996-09-28 01:23:45 +0000 |
commit | 8d622d4c7c24d005fa3b0affd6d8386171769e9e (patch) | |
tree | 5a4ec7e4f6165491e3beb1596991909dbd8a091a /gdb/config/v850 | |
parent | 2652deb7e03557470fd7129c2e42f3573a8a52ad (diff) | |
download | gdb-8d622d4c7c24d005fa3b0affd6d8386171769e9e.zip gdb-8d622d4c7c24d005fa3b0affd6d8386171769e9e.tar.gz gdb-8d622d4c7c24d005fa3b0affd6d8386171769e9e.tar.bz2 |
Sanitize for v850.
Diffstat (limited to 'gdb/config/v850')
-rw-r--r-- | gdb/config/v850/.Sanitize | 72 |
1 files changed, 72 insertions, 0 deletions
diff --git a/gdb/config/v850/.Sanitize b/gdb/config/v850/.Sanitize new file mode 100644 index 0000000..ce96c03 --- /dev/null +++ b/gdb/config/v850/.Sanitize @@ -0,0 +1,72 @@ +# .Sanitize for devo/gdb/config/v850. + +# Each directory to survive its way into a release will need a file +# like this one called "./.Sanitize". All keyword lines must exist, +# and must exist in the order specified by this file. Each directory +# in the tree will be processed, top down, in the following order. + +# Hash started lines like this one are comments and will be deleted +# before anything else is done. Blank lines will also be squashed +# out. + +# The lines between the "Do-first:" line and the "Things-to-keep:" +# line are executed as a /bin/sh shell script before anything else is +# done in this directory. + +Do-first: + +v850_files="tm-v850.h v850.mt" + +if ( echo $* | grep keep\-v850 > /dev/null ) ; then + keep_these_too="${v850_files} ${keep_these_too}" + if [ -n "${verbose}" ] ; then + echo Keeping ${v850_files} + fi +else + lose_these_too="${v850_files} ${lose_these_too}" + if [ -n "${verbose}" ] ; then + echo Deleting ${v850_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 +# called. Directories not listed will be removed in their entirety +# with rm -rf. + +Things-to-keep: + +Things-to-lose: + + +Do-last: + +if ( echo $* | grep keep\-v850 > /dev/null ) ; then + for i in * ; do + if test ! -d $i && (grep sanitize-v850 $i > /dev/null) ; then + if [ -n "${verbose}" ] ; then + echo Keeping v850 stuff in $i + fi + fi + done +else + for i in * ; do + if test ! -d $i && (grep sanitize-v850 $i > /dev/null) ; then + if [ -n "${verbose}" ] ; then + echo Removing traces of \"v850\" from $i... + fi + cp $i new + sed '/start\-sanitize\-v850/,/end-\sanitize\-v850/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 + +# End of file. |