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 echo Sanitizing `pwd`...
22 # All files listed between the "Things-to-keep:" line and the
23 # "Files-to-sed:" line will be kept. All other files will be removed.
24 # Directories listed in this section will have their own Sanitize
25 # 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