epic

diff --git a/tools/make/configure b/tools/make/configure
index 47a1304b902ef7efddb8a050964f8f889e81a62d..4a1349a9d626070d1bb06814f65fd613fbefc01a 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