From eead79ebf13233dbb9254e735d745a7c67b49985 Mon Sep 17 00:00:00 2001
From: Joel Rosdahl <joel@rosdahl.net>
Date: Wed, 14 Jul 2010 22:16:55 +0200
Subject: [PATCH] Disable developer mode on the build farm since it may use
 non-GNU make

---
 configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.ac b/configure.ac
index 9d9978a9c..08d0dad14 100644
--- 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'
-- 
2.47.3