diff options
author | Fred Fish <fnf@specifix.com> | 1997-03-22 23:55:06 +0000 |
---|---|---|
committer | Fred Fish <fnf@specifix.com> | 1997-03-22 23:55:06 +0000 |
commit | 09f0789e93d63e5de5e07e245aa956a9df82da42 (patch) | |
tree | 72d6be475bce5b5416ee1c6d5c8180a570cf2be1 /gdb/config/tic80 | |
parent | 46c755d49577f39315ddadc88b73c5247bb893c0 (diff) | |
download | gdb-09f0789e93d63e5de5e07e245aa956a9df82da42.zip gdb-09f0789e93d63e5de5e07e245aa956a9df82da42.tar.gz gdb-09f0789e93d63e5de5e07e245aa956a9df82da42.tar.bz2 |
Add this file too..
Diffstat (limited to 'gdb/config/tic80')
-rw-r--r-- | gdb/config/tic80/.Sanitize | 72 |
1 files changed, 72 insertions, 0 deletions
diff --git a/gdb/config/tic80/.Sanitize b/gdb/config/tic80/.Sanitize new file mode 100644 index 0000000..17091a2 --- /dev/null +++ b/gdb/config/tic80/.Sanitize @@ -0,0 +1,72 @@ +# .Sanitize for devo/gdb/config/tic80. + +# 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: + +tic80_files="tm-tic80.h tic80.mt" + +if ( echo $* | grep keep\-tic80 > /dev/null ) ; then + keep_these_too="${tic80_files} ${keep_these_too}" + if [ -n "${verbose}" ] ; then + echo Keeping ${tic80_files} + fi +else + lose_these_too="${tic80_files} ${lose_these_too}" + if [ -n "${verbose}" ] ; then + echo Deleting ${tic80_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\-tic80 > /dev/null ) ; then + for i in * ; do + if test ! -d $i && (grep sanitize-tic80 $i > /dev/null) ; then + if [ -n "${verbose}" ] ; then + echo Keeping tic80 stuff in $i + fi + fi + done +else + for i in * ; do + if test ! -d $i && (grep sanitize-tic80 $i > /dev/null) ; then + if [ -n "${verbose}" ] ; then + echo Removing traces of \"tic80\" from $i... + fi + cp $i new + sed '/start\-sanitize\-tic80/,/end-\sanitize\-tic80/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. |