diff options
Diffstat (limited to 'sim/sh/.Sanitize')
| -rw-r--r-- | sim/sh/.Sanitize | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/sim/sh/.Sanitize b/sim/sh/.Sanitize index 6a52694..22ad58a 100644 --- a/sim/sh/.Sanitize +++ b/sim/sh/.Sanitize @@ -38,5 +38,26 @@ Things-to-lose: Do-last: +sh3e_files="ChangeLog interp.c gencode.c" +if ( echo $* | grep keep\-sh3e > /dev/null ) ; then + if [ -n "${verbose}" ] ; then + echo Keeping sh3e stuff in $sh3e_files. + fi +else + if [ -n "${verbose}" ]; then + echo -n Cleaning sh3e in `pwd`: + fi + for f in $sh3e_files ; do + if [ -n "${verbose}" ] ; then + echo -n " " $f + fi + sed -e '/start\-sanitize\-sh3e/,/end\-sanitize\-sh3e/d' -e '/ xl /d' < $f > new + if [ -n "${safe}" ] ; then + mv $f .Recover + fi + mv new $f + done +fi + # End of file. |