diff options
author | Ken Raeburn <raeburn@cygnus> | 1994-09-09 18:51:10 +0000 |
---|---|---|
committer | Ken Raeburn <raeburn@cygnus> | 1994-09-09 18:51:10 +0000 |
commit | ba08215a8c9fa0628ae017952aad43284f5c803b (patch) | |
tree | 0b8544b806dc00e8418c49c00b175511455c4afe /gas | |
parent | 6c3bc2b8f6fbfebf69dd48791e308f4a53a70b92 (diff) | |
download | gdb-ba08215a8c9fa0628ae017952aad43284f5c803b.zip gdb-ba08215a8c9fa0628ae017952aad43284f5c803b.tar.gz gdb-ba08215a8c9fa0628ae017952aad43284f5c803b.tar.bz2 |
keep arm files
Diffstat (limited to 'gas')
-rw-r--r-- | gas/testsuite/gas/arm/.Sanitize | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/gas/testsuite/gas/arm/.Sanitize b/gas/testsuite/gas/arm/.Sanitize new file mode 100644 index 0000000..4594424 --- /dev/null +++ b/gas/testsuite/gas/arm/.Sanitize @@ -0,0 +1,39 @@ +# Sanitize.in for devo. +# + +# 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: + +arm3.s +arm6.s +copro.s +float.s +gas.exp +inst.s + +Things-to-lose: + +Do-last: + +# End of file. |