if ( echo $* | grep keep\-arc > /dev/null ) ; then
for i in $arc_files ; do
if test ! -d $i && (grep sanitize-arc $i > /dev/null) ; then
if ( echo $* | grep keep\-arc > /dev/null ) ; then
for i in $arc_files ; do
if test ! -d $i && (grep sanitize-arc $i > /dev/null) ; then
if ( echo $* | grep keep\-d30v > /dev/null ) ; then
for i in $d30v_files ; do
if test ! -d $i && (grep sanitize-d30v $i > /dev/null) ; then
if ( echo $* | grep keep\-d30v > /dev/null ) ; then
for i in $d30v_files ; do
if test ! -d $i && (grep sanitize-d30v $i > /dev/null) ; then
if ( echo $* | grep keep\-v850 > /dev/null ) ; then
for i in $v850_files ; do
if test ! -d $i && (grep sanitize-v850 $i > /dev/null) ; then
if ( echo $* | grep keep\-v850 > /dev/null ) ; then
for i in $v850_files ; do
if test ! -d $i && (grep sanitize-v850 $i > /dev/null) ; then
if ( echo $* | grep keep\-tic80 > /dev/null ) ; then
for i in $tic80_files ; do
if test ! -d $i && (grep sanitize-tic80 $i > /dev/null) ; then
if ( echo $* | grep keep\-tic80 > /dev/null ) ; then
for i in $tic80_files ; do
if test ! -d $i && (grep sanitize-tic80 $i > /dev/null) ; then