1991-05-23 21:49:14 +00:00
|
|
|
# Sanitize.in for devo.
|
|
|
|
|
# $Id$
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
# Each directory to survive it's way into a release will need a file
|
|
|
|
|
# like this one called "./.Sanitize". All keyword lines must exist,
|
|
|
|
|
# and must exist in the order specified by this file. Each directory
|
|
|
|
|
# in the tree will be processed, top down, in the following order.
|
|
|
|
|
|
|
|
|
|
# Hash started lines like this one are comments and will be deleted
|
|
|
|
|
# before anything else is done. Blank lines will also be squashed
|
|
|
|
|
# out.
|
|
|
|
|
|
|
|
|
|
# The lines between the "Do-first:" line and the "Things-to-keep:"
|
|
|
|
|
# line are executed as a /bin/sh shell script before anything else is
|
|
|
|
|
# done in this
|
|
|
|
|
|
|
|
|
|
Do-first:
|
|
|
|
|
|
|
|
|
|
echo Sanitizing `pwd`...
|
|
|
|
|
|
|
|
|
|
if ( echo $* | grep keep\-v9 > /dev/null ) ; then
|
1991-09-03 21:04:24 +00:00
|
|
|
keep_these_too=h-sun4-64
|
1991-05-23 21:49:14 +00:00
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
# All files listed between the "Things-to-keep:" line and the
|
|
|
|
|
# "Files-to-sed:" line will be kept. All other files will be removed.
|
|
|
|
|
# Directories listed in this section will have their own Sanitize
|
|
|
|
|
# called. Directories not listed will be removed in their entirety
|
|
|
|
|
# with rm -rf.
|
|
|
|
|
|
|
|
|
|
Things-to-keep:
|
1992-03-13 16:25:26 +00:00
|
|
|
decstation.mh
|
|
|
|
|
delta88.mh
|
|
|
|
|
dgux.mh
|
|
|
|
|
news.mh
|
|
|
|
|
rtbsd.mh
|
|
|
|
|
sparc.mh
|
|
|
|
|
sparc-ll.mh
|
|
|
|
|
sun3.mh
|
|
|
|
|
coff-a29k.mt
|
|
|
|
|
ebmon29k.mt
|
|
|
|
|
coff-h8300.mt
|
1992-05-01 22:34:25 +00:00
|
|
|
hp300bsd.mt
|
1992-03-13 16:25:26 +00:00
|
|
|
i386-aout.mt
|
|
|
|
|
i386v.mt
|
|
|
|
|
m68k.mt
|
|
|
|
|
m68kv.mt
|
|
|
|
|
m88k-bcs.mt
|
1992-05-08 15:14:38 +00:00
|
|
|
sa29200.mt
|
1992-03-13 16:25:26 +00:00
|
|
|
news.mt
|
|
|
|
|
sun3.mt
|
|
|
|
|
sun4.mt
|
|
|
|
|
vxworks68.mt
|
|
|
|
|
vxworks960.mt
|
1991-05-23 21:49:14 +00:00
|
|
|
Do-last:
|
|
|
|
|
|
|
|
|
|
echo Done in `pwd`.
|
|
|
|
|
# End of file.
|
