fix vr5400 sanitization

This commit is contained in:
Ken Raeburn 1997-11-10 19:24:15 +00:00
parent 77635763d6
commit 93d2187d32

View File

@ -15,7 +15,7 @@
Do-first:
vr5400_losers="vr5400.s"
vr5400_losers="vr5400.s vr5400.d"
if ( echo $* | grep keep\-vr5400 > /dev/null ) ; then
keep_these_too="$keep_these_too $vr5400_losers"
if [ -n "${verbose}" ] ; then