summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthias Andreas Benkard <matthias@benkard.de>2008-08-20 13:24:29 +0200
committerMatthias Andreas Benkard <matthias@benkard.de>2008-08-20 13:24:29 +0200
commit13dc1ca7ca1d785313517b9f8d78e63414cb43df (patch)
tree6de9dd7879b2ae65663f7c648f0adab850c2d7c6
parentbc4f0a3b06380df3d97118130573067c84f2733d (diff)
configure: Prefer GNUstep-Make over xcodebuild.
-rwxr-xr-xconfigure12
1 files changed, 7 insertions, 5 deletions
diff --git a/configure b/configure
index 33ac732..eb1b2b6 100755
--- a/configure
+++ b/configure
@@ -56,12 +56,14 @@ $histedit_h = 1 if ($? == 0);
`echo '\#include <gmp.h>' | $CC $CFLAGS $OBJCFLAGS -c -o /dev/null -x c - 2>/dev/null`;
$gmp_h = 1 if ($? == 0);
-`$XCODEBUILD -version`;
-if ($? == 0) {
- $xcode = 1;
- $build_cmd = "xcodebuild";
-} elsif ($ENV{'GNUSTEP_MAKEFILES'} && (`$MAKE --version` =~ /^GNU.*/)) {
+if ($ENV{'GNUSTEP_MAKEFILES'} && (`$MAKE --version` =~ /^GNU.*/)) {
$build_cmd = "$MAKE";
+} else {
+ `$XCODEBUILD -version`;
+ if ($? == 0) {
+ $xcode = 1;
+ $build_cmd = "xcodebuild";
+ }
}
if ($darwin) {