done
fi
-echo Looking for signs of \"life\"...
-
-# Don't try to clean directories here, as the 'mv' command will fail.
-# Also, grep fails on NFS mounted directories.
-if ( echo $* | grep keep\-life > /dev/null ) ; then
- for i in * ; do
- if test ! -d $i && (grep sanitize-life $i > /dev/null) ; then
- echo Keeping life alive in $i
- fi
- done
-else
- for i in * ; do
- if test ! -d $i && (grep sanitize-life $i > /dev/null) ; then
- echo Beating the \"life\" out of $i...
- cp $i new
- sed '/start\-sanitize\-life/,/end-\sanitize\-life/d' < $i > new
- if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
- mv $i .Recover
- fi
- mv new $i
- fi
- done
-fi
-
for i in * ; do
if test ! -d $i && (grep sanitize $i > /dev/null) ; then
echo Some mentions of Sanitize are still left in $i!
;;
# Recognize the various machine names and aliases which stand
# for a CPU type and a company and sometimes even an OS.
-# start-sanitize-life
- life-*) ;;
- life)
- basic_machine=life-philips
- os=-none
- ;;
-# end-sanitize-life
-
# start-sanitize-v9
sparc64-*) ;;
hal-32 | hal32)
os=-newsos
;;
st2000)
- basic_machine=m68kmote-tandem
+ basic_machine=m68k-tandem
;;
decstation-dec | decstation | decstation-3100 | pmax | pmin | dec3100 | decstatn)
basic_machine=mips-dec