diff options
Diffstat (limited to 'gdb/testsuite/lib/.Sanitize')
-rw-r--r-- | gdb/testsuite/lib/.Sanitize | 69 |
1 files changed, 0 insertions, 69 deletions
diff --git a/gdb/testsuite/lib/.Sanitize b/gdb/testsuite/lib/.Sanitize deleted file mode 100644 index 1374cf07d49..00000000000 --- a/gdb/testsuite/lib/.Sanitize +++ /dev/null @@ -1,69 +0,0 @@ -# .Sanitize for deja-gnu. - -# Each directory to survive it's 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: - -# All files listed between the "Things-to-keep:" line and the -# "Do-last:" 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: - -emc-support.exp -gdb.exp -trace-support.exp - -Things-to-lose: - - -# The lines between the "Do-last:" line and the end of the file -# are executed as a /bin/sh shell script after everything else is -# done. - -Do-last: - -if ( echo $* | grep lose\-gdbtk > /dev/null ) ; then - echo Catering to RMS by removing traces of \"gdbtk\"... - for i in * ; do - if test ! -d $i && (grep sanitize-gdbtk $i > /dev/null) ; then - echo Removing traces of \"gdbtk\" out of $i... - cp $i new - sed '/start\-sanitize\-gdbtk/,/end-\sanitize\-gdbtk/d' < $i > new - if [ -n "${safe}" -a ! -f .Recover/$i ] ; then - echo Caching $i in .Recover... - mv $i .Recover - fi - mv new $i - fi - done -else - echo Leaving \"gdbtk\" in the sources... - for i in * ; do - if test ! -d $i && (grep sanitize-gdbtk $i > /dev/null) ; then - echo Keeping \"gdbtk\" stuff in $i, but editing out sanitize lines... - cp $i new - sed -e '/start\-sanitize\-gdbtk/d' -e '/end\-sanitize\-gdbtk/d' < $i > new - if [ -n "${safe}" -a ! -f .Recover/$i ] ; then - echo Caching $i in .Recover... - mv $i .Recover - fi - mv new $i - fi - done -fi - -# eof |