diff options
| author | Angela Marie Thomas <angela@cygnus> | 1998-03-13 13:09:32 +0000 |
|---|---|---|
| committer | Angela Marie Thomas <angela@cygnus> | 1998-03-13 13:09:32 +0000 |
| commit | 2b9cac47f502ffbd0a5810d05a86463fd583e71c (patch) | |
| tree | 4d567a87c961670d77526c1387978c8143a5382a /sim/.Sanitize | |
| parent | 786786305fc9c460dfe5d4bd78cd2e930ae796ec (diff) | |
| download | gdb-2b9cac47f502ffbd0a5810d05a86463fd583e71c.zip gdb-2b9cac47f502ffbd0a5810d05a86463fd583e71c.tar.gz gdb-2b9cac47f502ffbd0a5810d05a86463fd583e71c.tar.bz2 | |
massive sanitization fixes
Diffstat (limited to 'sim/.Sanitize')
| -rw-r--r-- | sim/.Sanitize | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/sim/.Sanitize b/sim/.Sanitize index 531d802..3506894 100644 --- a/sim/.Sanitize +++ b/sim/.Sanitize @@ -15,6 +15,13 @@ Do-first: +sky_files="txvu" +if ( echo $* | grep keep\-sky > /dev/null ) ; then + keep_these_too="${sky_files} ${keep_these_too}" +else + lose_these_too="${sky_files} ${lose_these_too}" +fi + d30v_files="d30v" if ( echo $* | grep keep\-d30v > /dev/null ) ; then keep_these_too="${d30v_files} ${keep_these_too}" |