aboutsummaryrefslogtreecommitdiff
path: root/gdb/config/v850
diff options
context:
space:
mode:
authorStu Grossman <grossman@cygnus>1996-09-28 01:23:45 +0000
committerStu Grossman <grossman@cygnus>1996-09-28 01:23:45 +0000
commit8d622d4c7c24d005fa3b0affd6d8386171769e9e (patch)
tree5a4ec7e4f6165491e3beb1596991909dbd8a091a /gdb/config/v850
parent2652deb7e03557470fd7129c2e42f3573a8a52ad (diff)
downloadfsf-binutils-gdb-8d622d4c7c24d005fa3b0affd6d8386171769e9e.zip
fsf-binutils-gdb-8d622d4c7c24d005fa3b0affd6d8386171769e9e.tar.gz
fsf-binutils-gdb-8d622d4c7c24d005fa3b0affd6d8386171769e9e.tar.bz2
Sanitize for v850.
Diffstat (limited to 'gdb/config/v850')
-rw-r--r--gdb/config/v850/.Sanitize72
1 files changed, 72 insertions, 0 deletions
diff --git a/gdb/config/v850/.Sanitize b/gdb/config/v850/.Sanitize
new file mode 100644
index 0000000..ce96c03
--- /dev/null
+++ b/gdb/config/v850/.Sanitize
@@ -0,0 +1,72 @@
+# .Sanitize for devo/gdb/config/v850.
+
+# Each directory to survive its way into a release will need a file
+# like this one called "./.Sanitize". All keyword lines must exist,
+# and must exist in the order specified by this file. Each directory
+# in the tree will be processed, top down, in the following order.
+
+# Hash started lines like this one are comments and will be deleted
+# before anything else is done. Blank lines will also be squashed
+# out.
+
+# The lines between the "Do-first:" line and the "Things-to-keep:"
+# line are executed as a /bin/sh shell script before anything else is
+# done in this directory.
+
+Do-first:
+
+v850_files="tm-v850.h v850.mt"
+
+if ( echo $* | grep keep\-v850 > /dev/null ) ; then
+ keep_these_too="${v850_files} ${keep_these_too}"
+ if [ -n "${verbose}" ] ; then
+ echo Keeping ${v850_files}
+ fi
+else
+ lose_these_too="${v850_files} ${lose_these_too}"
+ if [ -n "${verbose}" ] ; then
+ echo Deleting ${v850_files}
+ fi
+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.
+# Directories listed in this section will have their own Sanitize
+# called. Directories not listed will be removed in their entirety
+# with rm -rf.
+
+Things-to-keep:
+
+Things-to-lose:
+
+
+Do-last:
+
+if ( echo $* | grep keep\-v850 > /dev/null ) ; then
+ for i in * ; do
+ if test ! -d $i && (grep sanitize-v850 $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Keeping v850 stuff in $i
+ fi
+ fi
+ done
+else
+ for i in * ; do
+ if test ! -d $i && (grep sanitize-v850 $i > /dev/null) ; then
+ if [ -n "${verbose}" ] ; then
+ echo Removing traces of \"v850\" from $i...
+ fi
+ cp $i new
+ sed '/start\-sanitize\-v850/,/end-\sanitize\-v850/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
+
+# End of file.