include/elf/.Sanitize

   1 # Sanitize.in for devo.
   2 #
   3
   4 # Each directory to survive it's way into a release will need a file
   5 # like this one called "./.Sanitize".  All keyword lines must exist,
   6 # and must exist in the order specified by this file.  Each directory
   7 # in the tree will be processed, top down, in the following order.
   8
   9 # Hash started lines like this one are comments and will be deleted
  10 # before anything else is done.  Blank lines will also be squashed
  11 # out.
  12
  13 # The lines between the "Do-first:" line and the "Things-to-keep:"
  14 # line are executed as a /bin/sh shell script before anything else is
  15 # done in this
  16
  17 Do-first:
  18
  19 # All files listed between the "Things-to-keep:" line and the
  20 # "Files-to-sed:" line will be kept.  All other files will be removed.
  21 # Directories listed in this section will have their own Sanitize
  22 # called.  Directories not listed will be removed in their entirety
  23 # with rm -rf.
  24
  25 Things-to-keep:
  26
  27 ChangeLog
  28 alpha.h
  29 arc.h
  30 common.h
  31 dwarf.h
  32 dwarf2.h
  33 external.h
  34 hppa.h
  35 internal.h
  36 m32r.h
  37 mips.h
  38 ppc.h
  39 sparc.h
  40 v850.h
  41
  42 Things-to-lose:
  43
  44 Do-last:
  45
  46 d30v_files="ChangeLog common.h"
  47 if ( echo $* | grep keep\-d30v > /dev/null ) ; then
  48         for i in $d30v_files ; do
  49                 if test ! -d $i && (grep sanitize-d30v $i > /dev/null) ; then
  50                         if [ -n "${verbose}" ] ; then
  51                                 echo Keeping d30v stuff in $i
  52                         fi
  53                 fi
  54         done
  55 else
  56         for i in $d30v_files ; do
  57                 if test ! -d $i && (grep sanitize-d30v $i > /dev/null) ; then
  58                         if [ -n "${verbose}" ] ; then
  59                                 echo Removing traces of \"d30v\" from $i...
  60                         fi
  61                         cp $i new
  62                         sed '/start\-sanitize\-d30v/,/end-\sanitize\-d30v/d' < $i > new
  63                         if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
  64                                 if [ -n "${verbose}" ] ; then
  65                                         echo Caching $i in .Recover...
  66                                 fi
  67                                 mv $i .Recover
  68                         fi
  69                         mv new $i
  70                 fi
  71         done
  72 fi
  73
  74 v850_files="ChangeLog common.h v850.h"
  75 if ( echo $* | grep keep\-v850e > /dev/null ) ; then
  76         for i in $v850_files ; do
  77                 if test ! -d $i && (grep sanitize-v850e $i > /dev/null) ; then
  78                         if [ -n "${verbose}" ] ; then
  79                                 echo Keeping v850eq stuff in $i
  80                         fi
  81                 fi
  82         done
  83 else
  84         for i in $v850_files ; do
  85                 if test ! -d $i && (grep sanitize-v850e $i > /dev/null) ; then
  86                         if [ -n "${verbose}" ] ; then
  87                                 echo Removing traces of \"v850e\" from $i...
  88                         fi
  89                         cp $i new
  90                         sed '/start\-sanitize\-v850e/,/end\-sanitize\-v850e/d' < $i > new
  91                         if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
  92                                 if [ -n "${verbose}" ] ; then
  93                                         echo Caching $i in .Recover...
  94                                 fi
  95                                 mv $i .Recover
  96                         fi
  97                         mv new $i
  98                 fi
  99         done
 100 fi
 101
 102 for i in * ; do
 103         if test ! -d $i && (grep sanitize $i > /dev/null) ; then
 104                 echo '***' Some mentions of Sanitize are still left in $i! 1>&2
 105         fi
 106 done
 107
 108 # End of file.