* ldgram.y (LOADADDR): New terminal.
[deliverable/binutils-gdb.git] / sim / .Sanitize
index e76cdd552060a66fecb04c10b85df61ee00a727e..ff0bd92ba2f70b024917a18922345b203f4d758b 100644 (file)
 
 Do-first:
 
+d10v_files="d10v"
+if ( echo $* | grep keep\-d10v > /dev/null ) ; then
+        keep_these_too="${d10v_files} ${keep_these_too}"
+else
+        lose_these_too="${d10v_files} ${lose_these_too}"
+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
@@ -42,4 +49,37 @@ Things-to-lose:
 
 Do-last:
 
+d10v_files="d10v"
+if ( echo $* | grep keep\-d10v > /dev/null ) ; then
+        for i in $d10v_files ; do
+                if test ! -d $i && (grep sanitize-d10v $i > /dev/null) ; then
+                        if [ -n "${verbose}" ] ; then
+                                echo Keeping d10v stuff in $i
+                        fi
+                fi
+        done
+else
+        for i in $d10v_files ; do
+                if test ! -d $i && (grep sanitize-d10v $i > /dev/null) ; then
+                        if [ -n "${verbose}" ] ; then
+                                echo Removing traces of \"d10v\" from $i...
+                        fi
+                        cp $i new
+                        sed '/start\-sanitize\-d10v/,/end-\sanitize\-d10v/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
+                echo '***' Some mentions of Sanitize are still left in $i! 1>&2
+        fi
+done 
+
 # End of file.
This page took 0.0244 seconds and 4 git commands to generate.