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 delta88
  41 hp300bsd
  42 hp300hpux
  43 i386sco
  44 i386aout
  45 i386v
  46 i386v-g
  47 i386v32
  48 i386v32-g
  49 i960
  50 irix3
  51 isi
  52 littlemips
  53 m88k
  54 merlin
  55 news
  56 news1000
  57 nindy960
  58 none
  59 np1
  60 pn
  61 pyramid
  62 sun2os3
  63 sun2os4
  64 sun3
  65 sun386
  66 sun3os3
  67 sun3os4
  68 sun4
  69 sun4os3
  70 sun4os4
  71 symmetry
  72 tahoe
  73 ultra3
  74 umax
  75 vax
  76 vxworks68
  77 vxworks960
  78
  79 Do-last:
  80
  81 echo Done in `pwd`.
  82
  83 # End of file.