Add this file too..

This commit is contained in:
Fred Fish 1997-03-22 23:55:06 +00:00
parent 46c755d495
commit 09f0789e93
1 changed files with 72 additions and 0 deletions

View File

@ -0,0 +1,72 @@
# .Sanitize for devo/gdb/config/tic80.
# Each directory to survive its 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 directory.
Do-first:
tic80_files="tm-tic80.h tic80.mt"
if ( echo $* | grep keep\-tic80 > /dev/null ) ; then
keep_these_too="${tic80_files} ${keep_these_too}"
if [ -n "${verbose}" ] ; then
echo Keeping ${tic80_files}
fi
else
lose_these_too="${tic80_files} ${lose_these_too}"
if [ -n "${verbose}" ] ; then
echo Deleting ${tic80_files}
fi
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:
Things-to-lose:
Do-last:
if ( echo $* | grep keep\-tic80 > /dev/null ) ; then
for i in * ; do
if test ! -d $i && (grep sanitize-tic80 $i > /dev/null) ; then
if [ -n "${verbose}" ] ; then
echo Keeping tic80 stuff in $i
fi
fi
done
else
for i in * ; do
if test ! -d $i && (grep sanitize-tic80 $i > /dev/null) ; then
if [ -n "${verbose}" ] ; then
echo Removing traces of \"tic80\" from $i...
fi
cp $i new
sed '/start\-sanitize\-tic80/,/end-\sanitize\-tic80/d' < $i > new
if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
if [ -n "${verbose}" ] ; then
echo Caching $i in .Recover...
fi
mv $i .Recover
fi
mv new $i
fi
done
fi
# End of file.