|
|
|
@ -15,6 +15,14 @@ |
|
|
|
|
|
|
|
Do-first: |
|
|
|
|
|
|
|
v850_files="v850.sc" |
|
|
|
|
|
|
|
if ( echo $* | grep keep\-v850 > /dev/null ) ; then |
|
|
|
keep_these_too="${v850_files} ${keep_these_too}" |
|
|
|
else |
|
|
|
lose_these_too="${v850_files} ${lose_these_too}" |
|
|
|
fi |
|
|
|
|
|
|
|
# All files listed between the "Things-to-keep:" line and the |
|
|
|
# "Do-last:" line will be kept. All other files will be removed. |
|
|
|
# Directories listed in this section will have their own Sanitize |
|
|
|
|