Archive made with archiver in environment ASAR if set, arch otherwise

diff --git a/util/shf/march.sh b/util/shf/march.sh
index 08847cd..9c7fa38 100755 (executable)
--- 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