diff options
author | Martin Hunt <hunt@redhat.com> | 1996-08-28 19:16:02 +0000 |
---|---|---|
committer | Martin Hunt <hunt@redhat.com> | 1996-08-28 19:16:02 +0000 |
commit | b6a557f2abbd5fe0aa0fd18a60ddf6194e4ba671 (patch) | |
tree | 6dd49f51ff149e4b42b67771b5fd6af44e66358a /gdb/config | |
parent | fbe695a36fa9c209460d326ef4aa5b1079bd79a6 (diff) | |
download | gdb-b6a557f2abbd5fe0aa0fd18a60ddf6194e4ba671.zip gdb-b6a557f2abbd5fe0aa0fd18a60ddf6194e4ba671.tar.gz gdb-b6a557f2abbd5fe0aa0fd18a60ddf6194e4ba671.tar.bz2 |
New file.
Diffstat (limited to 'gdb/config')
-rw-r--r-- | gdb/config/d10v/.Sanitize | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/gdb/config/d10v/.Sanitize b/gdb/config/d10v/.Sanitize new file mode 100644 index 0000000..b2bdf04 --- /dev/null +++ b/gdb/config/d10v/.Sanitize @@ -0,0 +1,33 @@ +# .Sanitize for devo/gdb/config/d10v + +# 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: + +# 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: + +d10v.mt +tm-d10v.h + +Do-last: + +# End of file. |