+arc_files="arc-dis.c arc-opc.c"
+
+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="d30v-dis.c d30v-opc.c"
+
+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="v850-opc.c v850-dis.c"
+
+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="tic80-opc.c tic80-dis.c"
+
+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
+
+