Disable developer mode on the build farm since it may use non-GNU make

diff --git a/configure.ac b/configure.ac
index 9d9978a9c2fac060c3af4811732c4b99cf8c1381..08d0dad147a9efae1aa25e46907b57ff052f33cc 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -276,7 +276,7 @@ if test "$ac_cv_c_extern_inline" != no ; then
 fi
 
 dnl Enable developer mode if dev.mk.in exists.
-if test -f $srcdir/dev.mk.in; then
+if test -f $srcdir/dev.mk.in && test "$RUN_FROM_BUILD_FARM" != yes; then
     AC_MSG_NOTICE(Enabling developer mode)
     AC_CONFIG_FILES([dev.mk])
     include_dev_mk='include dev.mk'