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.
20 if ( echo $* | grep keep\-tic80 > /dev/null ) ; then
21 keep_these_too="${tic80_files} ${keep_these_too}"
22 if [ -n "${verbose}" ] ; then
23 echo Keeping ${tic80_files}
26 lose_these_too="${tic80_files} ${lose_these_too}"
27 if [ -n "${verbose}" ] ; then
28 echo Deleting ${tic80_files}
34 if ( echo $* | grep keep\-d30v > /dev/null ) ; then
35 keep_these_too="${d30v_files} ${keep_these_too}"
36 if [ -n "${verbose}" ] ; then
37 echo Keeping ${d30v_files}
40 lose_these_too="${d30v_files} ${lose_these_too}"
41 if [ -n "${verbose}" ] ; then
42 echo Deleting ${d30v_files}
46 # All files listed between the "Things-to-keep:" line and the
47 # "Files-to-sed:" line will be kept. All other files will be removed.
48 # Directories listed in this section will have their own Sanitize
49 # called. Directories not listed will be removed in their entirety