# 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: # 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: abs.d abs.s add.d add.s and.d and.s beq.d beq.s bge.d bge.s bgeu.d bgeu.s blt.d blt.s bltu.d bltu.s div.d div.s jal.d jal.s la.d la.s lb.d lb.s ld.d ld.s li.d li.s lifloat.d lifloat.s mips.exp mul.d mul.s rol.d rol.s sb.d sb.s trunc.d trunc.s ulh.d ulh.s ulw.d ulw.s ush.d ush.s usw.d usw.s Things-to-lose: Do-last: # End of file.