+arc_files="tc-arc.c tc-arc.h"
+
+if ( echo $* | grep keep\-arc > /dev/null ) ; then
+ keep_these_too="${arc_files} ${keep_these_too}"
+else
+ lose_these_too="${arc_files} ${lose_these_too}"
+fi
+
+d30v_files="tc-d30v.c tc-d30v.h"
+
+if ( echo $* | grep keep\-d30v > /dev/null ) ; then
+ keep_these_too="${d30v_files} ${keep_these_too}"
+else
+ lose_these_too="${d30v_files} ${lose_these_too}"
+fi
+
+v850_files="tc-v850.c tc-v850.h"
+
+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
+
+tic80_files="tc-tic80.c tc-tic80.h"
+
+if ( echo $* | grep keep\-tic80 > /dev/null ) ; then
+ keep_these_too="${tic80_files} ${keep_these_too}"
+else
+ lose_these_too="${tic80_files} ${lose_these_too}"
+fi
+