diff options
| -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. |