sky sanitization

diff --git a/sim/mips/.Sanitize b/sim/mips/.Sanitize
index c2e1470a6ff33d35e626f1e92f8f83ecae07f250..29ff045ce5670f18aa601cd45990beefd2745598 100644 (file)
--- a/sim/mips/.Sanitize
+++ b/sim/mips/.Sanitize
@@ -101,6 +101,36 @@ else
 fi
 
 
+sky_files="ChangeLog Makefile.in configure configure.in"
+
+if ( echo $* | grep keep\-sky > /dev/null ) ; then
+       for i in $sky_files ; do
+               if test ! -d $i && (grep sanitize-sky $i > /dev/null) ; then
+                       if [ -n "${verbose}" ] ; then
+                               echo Keeping sky stuff in $i
+                       fi
+               fi
+       done
+else
+       for i in * ; do
+               if test ! -d $i && (grep sanitize-sky $i > /dev/null) ; then
+                       if [ -n "${verbose}" ] ; then
+                               echo Removing traces of \"sky\" from $i...
+                       fi
+                       cp $i new
+                       sed '/start\-sanitize\-sky/,/end-\sanitize\-sky/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
+
+
 tx19_files="ChangeLog configure configure.in sim-main.h interp.c gencode.c mips.igen mips.dc m16.igen"
 
 if ( echo $* | grep keep\-tx19 > /dev/null ) ; then