summaryrefslogtreecommitdiff
path: root/include/opcode/.Sanitize
diff options
context:
space:
mode:
authorFred Fish <fnf@specifix.com>1996-12-28 05:23:50 +0000
committerFred Fish <fnf@specifix.com>1996-12-28 05:23:50 +0000
commit3665f0d5c220956550dc6136331c080f4f9e1bed (patch)
treedebce18791b524459406c118cae2af084c364553 /include/opcode/.Sanitize
parentbaf6d28e6b6dbb13846815a8ab80f67174de6b2e (diff)
downloadbinutils-gdb-3665f0d5c220956550dc6136331c080f4f9e1bed.tar.gz
(Laying the groundwork (that will be incrementally fleshed out) for
TIc80 support) * tic80.h: New file.
Diffstat (limited to 'include/opcode/.Sanitize')
-rw-r--r--include/opcode/.Sanitize36
1 files changed, 36 insertions, 0 deletions
diff --git a/include/opcode/.Sanitize b/include/opcode/.Sanitize
index e9cf078de43..41d25cd200e 100644
--- a/include/opcode/.Sanitize
+++ b/include/opcode/.Sanitize
@@ -39,6 +39,14 @@ else
lose_these_too="${v850_files} ${lose_these_too}"
fi
+tic80_files="tic80.h"
+
+if ( echo $* | grep keep\-tic80 > /dev/null ) ; then
+ keep_these_too="${tic80_files} ${keep_these_too}"
+else
+ lose_these_too="${tic80_files} ${lose_these_too}"
+fi
+
# All files listed between the "Things-to-keep:" line and the
# "Files-to-sed:" line will be kept. All other files will be removed.
@@ -161,6 +169,34 @@ else
done
fi
+tic80_files="ChangeLog"
+if ( echo $* | grep keep\-tic80 > /dev/null ) ; then
+ for i in $tic80_files ; do
+ if test ! -d $i && (grep sanitize-tic80 $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Keeping tic80 stuff in $i
+ fi
+ fi
+ done
+else
+ for i in $tic80_files ; do
+ if test ! -d $i && (grep sanitize-tic80 $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Removing traces of \"tic80\" from $i...
+ fi
+ cp $i new
+ sed '/start\-sanitize\-tic80/,/end-\sanitize\-tic80/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
+
for i in * ; do
if test ! -d $i && (grep sanitize $i > /dev/null) ; then