diff options
Diffstat (limited to 'gas/.Sanitize')
| -rw-r--r-- | gas/.Sanitize | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/gas/.Sanitize b/gas/.Sanitize index edaefc7..a2f9f4f0 100644 --- a/gas/.Sanitize +++ b/gas/.Sanitize @@ -131,30 +131,6 @@ else fi fi -sh3e_files="ChangeLog ChangeLog.1" -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 - if [ -n "${verbose}" ]; then - echo "" - fi -fi - rce_files="configure.in configure ChangeLog Makefile.in ChangeLog.1" if ( echo $* | grep keep\-rce > /dev/null ) ; then |