1 # Sanitize.in for devo.
4 # Each directory to survive it's way into a release will need a file
5 # like this one called "./.Sanitize". All keyword lines must exist,
6 # and must exist in the order specified by this file. Each directory
7 # in the tree will be processed, top down, in the following order.
9 # Hash started lines like this one are comments and will be deleted
10 # before anything else is done. Blank lines will also be squashed
13 # The lines between the "Do-first:" line and the "Things-to-keep:"
14 # line are executed as a /bin/sh shell script before anything else is
19 echo Sanitizing `pwd`...
21 # All files listed between the "Things-to-keep:" line and the
22 # "Files-to-sed:" line will be kept. All other files will be removed.
23 # Directories listed in this section will have their own Sanitize
24 # called. Directories not listed will be removed in their entirety
77 v9dirty="sparc-pinsn.c"
79 if ( echo $* | grep keep\-v9 > /dev/null ) ; then
80 echo Keeping v9 in ${v9dirty}
82 for i in ${v9dirty} ; do
83 echo Sanitizing v9 in $i
85 sed '/^#ifndef[ ]NO_V9/,/^#endif/d' < $i > new
86 if grep -s -i v9 new ; then
87 echo ***** SANITIZING V9 IN $i FAILED *****
\a\a
89 if [ -n "${safe}" ] ; then