diff --git a/util/shf/march.sh b/util/shf/march.sh index 08847cd02..9c7fa3882 100755 --- a/util/shf/march.sh +++ b/util/shf/march.sh @@ -37,7 +37,7 @@ then fi if test $errors = no then - arch cr $2 $OFILES + ${ASAR-arch} cr $2 $OFILES rm $OFILES else echo $2 not made, due to compilation errors