1 # Sanitize.in for devo.
5 # Each directory to survive it's way into a release will need a file
6 # like this one called "./.Sanitize". All keyword lines must exist,
7 # and must exist in the order specified by this file. Each directory
8 # in the tree will be processed, top down, in the following order.
10 # Hash started lines like this one are comments and will be deleted
11 # before anything else is done. Blank lines will also be squashed
14 # The lines between the "Do-first:" line and the "Things-to-keep:"
15 # line are executed as a /bin/sh shell script before anything else is
20 am33_files="am33.s am33_2.s am33_3.s am33_4.s am33_5.s am33_6.s am33_7.s am33_8.s"
22 if ( echo $* | grep keep\-am33 > /dev/null ) ; then
23 keep_these_too="${am33_files} ${keep_these_too}"
25 lose_these_too="${am33_files} ${lose_these_too}"
28 # All files listed between the "Things-to-keep:" line and the
29 # "Files-to-sed:" line will be kept. All other files will be removed.
30 # Directories listed in this section will have their own Sanitize
31 # called. Directories not listed will be removed in their entirety
61 am33_files="basic.exp"
62 if ( echo $* | grep keep\-am33 > /dev/null ) ; then
63 for i in $am33_files ; do
64 if test ! -d $i && (grep sanitize-am33 $i > /dev/null) ; then
65 if [ -n "${verbose}" ] ; then
66 echo Keeping am33 stuff in $i
71 for i in $am33_files ; do
72 if test ! -d $i && (grep sanitize-am33 $i > /dev/null) ; then
73 if [ -n "${verbose}" ] ; then
74 echo Removing traces of \"am33\" from $i...
77 sed '/start\-sanitize\-am33/,/end-\sanitize\-am33/d' < $i > new
78 if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
79 if [ -n "${verbose}" ] ; then
80 echo Caching $i in .Recover...