X-Git-Url: http://wagnertech.de/git?a=blobdiff_plain;f=tools%2Fmake%2Fconfigure;h=a92ecbd7e017e19861e06092c2e24bf29f9ae528;hb=c98bffa28b232b7e57ada05268ce7fe5316f15e9;hp=e91b31ad2110bd3bd9ff0aa1006b1160c3a26c3e;hpb=58313e9db1554fa9e5f2a2476c4f28b282b347ed;p=projects.git

diff --git a/tools/make/configure b/tools/make/configure
index e91b31a..a92ecbd 100755
--- 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