epic

diff --git a/tools/make/configure b/tools/make/configure
index 47a1304..4a1349a 100755 (executable)
--- a/tools/make/configure
+++ b/tools/make/configure
@@ -130,6 +130,11 @@ then
 project = $paket
 COPY = ./$paket.cp
 MAKE_PRE
+       if [ -n "$ARCH" ]
+       then
+               echo "arch = $ARCH" >>make.pre
+               echo "_arch = _${ARCH}" >>make.pre
+       fi
        echo "make.pre written."
 fi