1 # .Sanitize for devo/gdb/config.
3 # Each directory to survive its way into a release will need a file
4 # like this one called "./.Sanitize". All keyword lines must exist,
5 # and must exist in the order specified by this file. Each directory
6 # in the tree will be processed, top down, in the following order.
8 # Hash started lines like this one are comments and will be deleted
9 # before anything else is done. Blank lines will also be squashed
12 # The lines between the "Do-first:" line and the "Things-to-keep:"
13 # line are executed as a /bin/sh shell script before anything else is
14 # done in this directory.
18 if ( echo $* | grep keep\-arc > /dev/null ) ; then
19 keep_these_too="arc ${keep_these_too}"
21 lose_these_too="arc ${lose_these_too}"
26 if ( echo $* | grep keep\-gm > /dev/null ) ; then
27 keep_these_too="${gm_files} ${keep_these_too}"
28 if [ -n "${verbose}" ] ; then
29 echo Keeping ${gm_files}
32 lose_these_too="${gm_files} ${lose_these_too}"
33 if [ -n "${verbose}" ] ; then
34 echo Deleting ${gm_files}
38 # All files listed between the "Things-to-keep:" line and the
39 # "Files-to-sed:" line will be kept. All other files will be removed.
40 # Directories listed in this section will have their own Sanitize
41 # called. Directories not listed will be removed in their entirety