Support restore-sanitize-sh4 .

diff --git a/sim/sh/.Sanitize b/sim/sh/.Sanitize
index 6b3a3159853eeaa7c5214346a52d4c104daadc95..8f80c3515187b920f69dda28ed8e75d2e779beee 100644 (file)
--- a/sim/sh/.Sanitize
+++ b/sim/sh/.Sanitize
@@ -57,7 +57,7 @@ else
                                echo Removing traces of \"sh4\" from $i...
                        fi
                        cp $i new
-                       sed '/start\-sanitize\-sh4/,/end-\sanitize\-sh4/d' < $i > new
+                       sed -e '/start\-sanitize\-sh4/,/end-\sanitize\-sh4/d' -e 's/.*restore\-sanitize\-sh4//' < $i > new
                        if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
                                if [ -n "${verbose}" ] ; then
                                        echo Caching $i in .Recover...