include/opcode/.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 # All files listed between the "Things-to-keep:" line and the
  21 # "Files-to-sed:" line will be kept.  All other files will be removed.
  22 # Directories listed in this section will have their own Sanitize
  23 # called.  Directories not listed will be removed in their entirety
  24 # with rm -rf.
  25
  26 Things-to-keep:
  27
  28 ChangeLog
  29 a29k.h
  30 arm.h
  31 convex.h
  32 h8300.h
  33 hppa.h
  34 i386.h
  35 i860.h
  36 i960.h
  37 m68k.h
  38 m68kmri.h
  39 m88k.h
  40 mips.h
  41 np1.h
  42 ns32k.h
  43 pn.h
  44 pyr.h
  45 rs6k.h
  46 sparc.h
  47 tahoe.h
  48 vax.h
  49
  50 Things-to-lose:
  51
  52
  53 Do-last:
  54
  55 v9dirty="sparc.h"
  56
  57 if ( echo $* | egrep verbose > /dev/null ) ; then
  58         verbose=true
  59 else
  60         verbose=
  61 fi
  62
  63 if ( echo $* | grep keep\-v9 > /dev/null ) ; then
  64         if [ -n "${verbose}" ] ; then
  65                 echo Keeping v9 in ${v9dirty}
  66         fi
  67 else
  68         for i in ${v9dirty} ; do
  69                 if [ -n "${verbose}" ] ; then
  70                         echo Sanitizing v9 in $i
  71                 fi
  72                 rm -f new
  73                 grep -v v9 $i > new
  74                 if [ -n "${safe}" ] ; then
  75                         mv $i .Recover
  76                 else
  77                         rm $i
  78                 fi
  79                 mv new $i
  80         done
  81 fi
  82
  83 # End of file.