projects
/
projects.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
posaune
[projects.git]
/
tools
/
make
/
configure
diff --git
a/tools/make/configure
b/tools/make/configure
index
e91b31a
..
a92ecbd
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