diff options
author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-20 13:24:29 +0200 |
---|---|---|
committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-20 13:24:29 +0200 |
commit | 13dc1ca7ca1d785313517b9f8d78e63414cb43df (patch) | |
tree | 6de9dd7879b2ae65663f7c648f0adab850c2d7c6 | |
parent | bc4f0a3b06380df3d97118130573067c84f2733d (diff) |
configure: Prefer GNUstep-Make over xcodebuild.
-rwxr-xr-x | configure | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -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) { |