gdb/config/.Sanitize

   1 # Sanitize.in for devo.
   2 # $Id$
   3 #
   4
   5 # Each directory to survive it's way into a release will need a file
   6 # like this one called "./.Sanitize".  All keyword lines must exist,
   7 # and must exist in the order specified by this file.  Each directory
   8 # in the tree will be processed, top down, in the following order.
   9
  10 # Hash started lines like this one are comments and will be deleted
  11 # before anything else is done.  Blank lines will also be squashed
  12 # out.
  13
  14 # The lines between the "Do-first:" line and the "Things-to-keep:"
  15 # line are executed as a /bin/sh shell script before anything else is
  16 # done in this
  17
  18 Do-first:
  19
  20 echo Sanitizing `pwd`...
  21
  22 # All files listed between the "Things-to-keep:" line and the
  23 # "Files-to-sed:" line will be kept.  All other files will be removed.
  24 # Directories listed in this section will have their own Sanitize
  25 # called.  Directories not listed will be removed in their entirety
  26 # with rm -rf.
  27
  28 Things-to-keep:
  29
  30 3b1
  31 a29k
  32 a29k-kern
  33 altos
  34 altosgas
  35 amix
  36 arm
  37 bigmips
  38 convex
  39 decstation
  40 hp300bsd
  41 hp300hpux
  42 i386sco
  43 i386v
  44 i386v-g
  45 i386v32
  46 i386v32-g
  47 i960
  48 irix3
  49 isi
  50 littlemips
  51 m88k
  52 merlin
  53 news
  54 news1000
  55 nindy960
  56 none
  57 np1
  58 pn
  59 pyramid
  60 sun2os3
  61 sun2os4
  62 sun3
  63 sun386
  64 sun3os3
  65 sun3os4
  66 sun4
  67 sun4os3
  68 sun4os4
  69 symmetry
  70 tahoe
  71 ultra3
  72 umax
  73 vax
  74 vxworks68
  75 vxworks960
  76
  77 Do-last:
  78
  79 echo Done in `pwd`.
  80
  81 # End of file.