From b8735ed55c5a4375b3b1861a2a45682227dffd4f Mon Sep 17 00:00:00 2001 From: Andrew Tridgell Date: Thu, 22 Apr 2004 06:16:01 +0000 Subject: [PATCH] r322: use the -C option to configure for developers (makes a huge speed difference) --- source/configure.developer | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/configure.developer b/source/configure.developer index 0409a750615..b817e9731ce 100755 --- a/source/configure.developer +++ b/source/configure.developer @@ -1,2 +1,2 @@ #!/bin/sh -`dirname $0`/configure --enable-developer $* +`dirname $0`/configure -C --enable-developer $*