From 48573afd234edf06f50a9e42f4d3e3ea0383d69a Mon Sep 17 00:00:00 2001 From: Jim Wilson Date: Tue, 16 Jan 1996 20:13:27 +0000 Subject: Remove SH3e sanitization. --- gas/testsuite/.Sanitize | 21 --------------------- 1 file changed, 21 deletions(-) (limited to 'gas/testsuite') diff --git a/gas/testsuite/.Sanitize b/gas/testsuite/.Sanitize index 466b14c..a1efe63 100644 --- a/gas/testsuite/.Sanitize +++ b/gas/testsuite/.Sanitize @@ -72,25 +72,4 @@ else done fi -sh3e_files="ChangeLog" -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. -- cgit v1.1