* configure.in: Add sky support

* configure: Regenerated

1 files changed, 27 insertions, 0 deletions

diff --git a/sim/.Sanitize b/sim/.Sanitize
index 32b2f78..e2c24a7 100644
--- a/sim/.Sanitize
+++ b/sim/.Sanitize
@@ -158,6 +158,33 @@ else
         done
 fi
 
+txvu_files="configure configure.in ChangeLog"
+if ( echo $* | grep keep\-sky > /dev/null ) ; then
+        for i in $txvu_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 $txvu_files ; 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
 
 for i in * ; do
         if test ! -d $i && (grep sanitize $i > /dev/null) ; then