diff options
author | K. Richard Pixley <rich@cygnus> | 1991-05-23 22:05:24 +0000 |
---|---|---|
committer | K. Richard Pixley <rich@cygnus> | 1991-05-23 22:05:24 +0000 |
commit | 2d797c084bbfed53bf4c80b4fe70e436b0379d1b (patch) | |
tree | d8d1b715274ffbb1feb7aa1402b8c7951e9bbc88 /gdb/vx-share/.Sanitize | |
parent | a3e6538284c7ddfea28fc3877ad937bbf3737044 (diff) | |
download | gdb-2d797c084bbfed53bf4c80b4fe70e436b0379d1b.zip gdb-2d797c084bbfed53bf4c80b4fe70e436b0379d1b.tar.gz gdb-2d797c084bbfed53bf4c80b4fe70e436b0379d1b.tar.bz2 |
Initial revision
Diffstat (limited to 'gdb/vx-share/.Sanitize')
-rw-r--r-- | gdb/vx-share/.Sanitize | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/gdb/vx-share/.Sanitize b/gdb/vx-share/.Sanitize new file mode 100644 index 0000000..39d6664 --- /dev/null +++ b/gdb/vx-share/.Sanitize @@ -0,0 +1,58 @@ +# Sanitize.in for devo. +# $Id$ +# + +# Each directory to survive it's 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 + +Do-first: + +echo Sanitizing `pwd`... + +# 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: + +dbgRpcLib.h +ptrace.h +reg.h +vxTypes.h +vxWorks.h +wait.h +xdr_ld.c +xdr_ld.h +xdr_ptrace.c +xdr_ptrace.h +xdr_rdb.c +xdr_rdb.h +xdr_regs.c +xdr_regs.h + +Do-last: + +echo Done in `pwd`. + +# +# +# $Log$ +# Revision 1.1 1991/05/23 22:05:02 rich +# Initial revision +# +# +# + +# End of file. |