diff options
Diffstat (limited to 'gdb/config/tic80/.Sanitize')
-rw-r--r-- | gdb/config/tic80/.Sanitize | 72 |
1 files changed, 0 insertions, 72 deletions
diff --git a/gdb/config/tic80/.Sanitize b/gdb/config/tic80/.Sanitize deleted file mode 100644 index 17091a2..0000000 --- a/gdb/config/tic80/.Sanitize +++ /dev/null @@ -1,72 +0,0 @@ -# .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. |