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}
40 if ( echo $* | grep keep\-d10v > /dev/null ) ; then
41 keep_these_too="${d10v_files} ${keep_these_too}"
42 if [ -n "${verbose}" ] ; then
43 echo Keeping ${d10v_files}
46 lose_these_too="${d10v_files} ${lose_these_too}"
47 if [ -n "${verbose}" ] ; then
48 echo Deleting ${d10v_files}
54 if ( echo $* | grep keep\-v850 > /dev/null ) ; then
55 keep_these_too="${v850_files} ${keep_these_too}"
56 if [ -n "${verbose}" ] ; then
57 echo Keeping ${v850_files}
60 lose_these_too="${v850_files} ${lose_these_too}"
61 if [ -n "${verbose}" ] ; then
62 echo Deleting ${v850_files}
66 # All files listed between the "Things-to-keep:" line and the
67 # "Files-to-sed:" line will be kept. All other files will be removed.
68 # Directories listed in this section will have their own Sanitize
69 # called. Directories not listed will be removed in their entirety