diff options
Diffstat (limited to 'sim')
| -rw-r--r-- | sim/.Sanitize | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/sim/.Sanitize b/sim/.Sanitize index 3506894..531d802 100644 --- a/sim/.Sanitize +++ b/sim/.Sanitize @@ -15,13 +15,6 @@ 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}" |