patch 7.4.924
Problem: DEVELOPER_DIR gets reset by configure.
Solution: Do not reset DEVELOPER_DIR when there is no --with-developer-dir
argument. (Kazuki Sakamoto, closes #482)
diff --git a/src/configure.in b/src/configure.in
index e558186..4f4b2fd 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -153,7 +153,7 @@
AC_MSG_CHECKING(--with-developer-dir argument)
AC_ARG_WITH(developer-dir, [ --with-developer-dir=PATH use PATH as location for Xcode developer tools],
DEVELOPER_DIR="$withval"; AC_MSG_RESULT($DEVELOPER_DIR),
- DEVELOPER_DIR=""; AC_MSG_RESULT(not present))
+ AC_MSG_RESULT(not present))
if test "x$DEVELOPER_DIR" = "x"; then
AC_PATH_PROG(XCODE_SELECT, xcode-select)