From 8f88293f5eed6ecaa48b7bd81c2e7d96369a109b Mon Sep 17 00:00:00 2001 From: Michael Wagner Date: Sat, 9 Dec 2017 22:05:06 +0100 Subject: [PATCH] epic --- tools/make/configure | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/tools/make/configure b/tools/make/configure index 47a1304..4a1349a 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 -- 2.20.1