diff options
| author | David Edelsohn <dje.gcc@gmail.com> | 1995-04-08 19:53:24 +0000 |
|---|---|---|
| committer | David Edelsohn <dje.gcc@gmail.com> | 1995-04-08 19:53:24 +0000 |
| commit | ac2bed87087974eb4a890675a76aa2c2e081a1c8 (patch) | |
| tree | 582fd475c3e363d388115b230287f4d691f95b48 /gas | |
| parent | 003587bd1f5407d372c017b7d0a62fbe4062c79c (diff) | |
| download | gdb-ac2bed87087974eb4a890675a76aa2c2e081a1c8.zip gdb-ac2bed87087974eb4a890675a76aa2c2e081a1c8.tar.gz gdb-ac2bed87087974eb4a890675a76aa2c2e081a1c8.tar.bz2 | |
keep arc subdir if keep-arc.
Diffstat (limited to 'gas')
| -rw-r--r-- | gas/testsuite/gas/.Sanitize | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gas/testsuite/gas/.Sanitize b/gas/testsuite/gas/.Sanitize index 3a6a0b1..af678de 100644 --- a/gas/testsuite/gas/.Sanitize +++ b/gas/testsuite/gas/.Sanitize @@ -17,6 +17,11 @@ Do-first: +if ( echo $* | grep keep\-arc > /dev/null ) ; then + keep_these_too="arc ${keep_these_too}" +else + lose_these_too="arc ${lose_these_too}" +fi # All files listed between the "Things-to-keep:" line and the # "Files-to-sed:" line will be kept. All other files will be removed. |