diff options
Diffstat (limited to 'gdb/osf-share/AT386/.Sanitize')
| -rw-r--r-- | gdb/osf-share/AT386/.Sanitize | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/gdb/osf-share/AT386/.Sanitize b/gdb/osf-share/AT386/.Sanitize deleted file mode 100644 index 2ef8e54..0000000 --- a/gdb/osf-share/AT386/.Sanitize +++ /dev/null @@ -1,44 +0,0 @@ -# .Sanitize for devo/gdb/osf-share/AT386. - -# 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: - -cma_thread_io.h - -# Things which are explicitly *not* kept, for now. - -Things-to-lose: - -Do-last: - -# Don't try to clean directories here, as the 'mv' command will fail. -# Also, grep fails on NFS mounted directories. - -for i in * ; do - if test ! -d $i && (grep sanitize $i > /dev/null) ; then - echo '***' Some mentions of Sanitize are still left in $i! 1>&2 - fi -done - -# -# End of file. |