diff options
| -rw-r--r-- | opcodes/.Sanitize | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/opcodes/.Sanitize b/opcodes/.Sanitize index 9600959..13d2d8f 100644 --- a/opcodes/.Sanitize +++ b/opcodes/.Sanitize @@ -96,6 +96,29 @@ else done fi + +sh3_files="ChangeLog sh3-opc.h" +if ( echo $* | grep keep\-sh3 > /dev/null ) ; then + if [ -n "${verbose}" ] ; then + echo Keeping sh3 stuff in $sh3_files. + fi +else + if [ -n "${verbose}" ]; then + echo -n Cleaning sh3 in `pwd`: + fi + for f in $sh3_files ; do + if [ -n "${verbose}" ] ; then + echo -n " " $f + fi + sed -e '/start\-sanitize\-sh3/,/end\-sanitize\-sh3/d' -e '/ xl /d' < $f > new + if [ -n "${safe}" ] ; then + mv $f .Recover + fi + mv new $f + done +fi + + rce_files="configure.in" if ( echo $* | grep keep\-rce > /dev/null ) ; then for i in $rce_files ; do @@ -130,4 +153,5 @@ for i in * ; do fi done + # End of file. |