+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
+
+d10v_files="d10v-dis.c d10v-opc.c"
+
+if ( echo $* | grep keep\-d10v > /dev/null ) ; then
+ keep_these_too="${d10v_files} ${keep_these_too}"
+else
+ lose_these_too="${d10v_files} ${lose_these_too}"
+fi
+
+v850_files="v850-opc.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
+
+