Support restore-sanitize-sh4 .

This commit is contained in:
Joern Rennecke 1997-09-02 22:57:50 +00:00
parent def31039ac
commit 134f75d8ba

View file

@ -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...