aboutsummaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
Diffstat (limited to 'include')
-rw-r--r--include/.Sanitize28
1 files changed, 0 insertions, 28 deletions
diff --git a/include/.Sanitize b/include/.Sanitize
index 420dc85..be7ff77 100644
--- a/include/.Sanitize
+++ b/include/.Sanitize
@@ -61,34 +61,6 @@ Things-to-lose:
Do-last:
-arc_files="ChangeLog dis-asm.h"
-if ( echo $* | grep keep\-arc > /dev/null ) ; then
- for i in $arc_files ; do
- if test ! -d $i && (grep sanitize-arc $i > /dev/null) ; then
- if [ -n "${verbose}" ] ; then
- echo Keeping arc stuff in $i
- fi
- fi
- done
-else
- for i in $arc_files ; do
- if test ! -d $i && (grep sanitize-arc $i > /dev/null) ; then
- if [ -n "${verbose}" ] ; then
- echo Removing traces of \"arc\" from $i...
- fi
- cp $i new
- sed '/start\-sanitize\-arc/,/end-\sanitize\-arc/d' < $i > new
- if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
- if [ -n "${verbose}" ] ; then
- echo Caching $i in .Recover...
- fi
- mv $i .Recover
- fi
- mv new $i
- fi
- done
-fi
-
v850_files="ChangeLog dis-asm.h"
if ( echo $* | grep keep\-v850 > /dev/null ) ; then
for i in $v850_files ; do