Do-first:
-rce_files="rce.sc"
+v850_files="v850.sc"
-if ( echo $* | grep keep\-rce > /dev/null ) ; then
- keep_these_too="${rce_files} ${keep_these_too}"
+if ( echo $* | grep keep\-v850 > /dev/null ) ; then
+ keep_these_too="${v850_files} ${keep_these_too}"
else
- lose_these_too="${rce_files} ${lose_these_too}"
+ lose_these_too="${v850_files} ${lose_these_too}"
fi
# All files listed between the "Things-to-keep:" line and the
delta68.sc
ebmon29k.sc
elf.sc
+elfd10v.sc
+elfmips.sc
elfppc.sc
go32coff.sc
h8300.sc
h8300h.sc
+h8300s.sc
h8500.sc
h8500b.sc
h8500c.sc
i386lynx.sc
i386msdos.sc
i960.sc
+m68kaux.sc
m68kcoff.sc
m68klynx.sc
m88kbcs.sc
mipsbsd.sc
nw.sc
pe.sc
+ppcpe.sc
+psos.sc
riscix.sc
sa29200.sc
sh.sc