keep arc subdir if keep-arc.
authorDavid Edelsohn <dje.gcc@gmail.com>
Sat, 8 Apr 1995 19:53:24 +0000 (19:53 +0000)
committerDavid Edelsohn <dje.gcc@gmail.com>
Sat, 8 Apr 1995 19:53:24 +0000 (19:53 +0000)
gas/testsuite/gas/.Sanitize

index 3a6a0b1d2fc587f11b66485d96571a5e0c57488e..af678de08948574ce92a3933adef3fd07f34a9ac 100644 (file)
 
 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.