From d089bc54e88d7fa70be9f0c228403c6d02248b52 Mon Sep 17 00:00:00 2001
From: Martin Szulecki
Date: Tue, 28 Jul 2009 10:58:50 +0200
Subject: Move production ready tools into tools/ and do not install the dev/
 ones

---
 autogen.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'autogen.sh')

diff --git a/autogen.sh b/autogen.sh
index 460bc5e..cb3887a 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -6,5 +6,5 @@ automake --add-missing
 autoconf
 
 if [ -z "$NOCONFIGURE" ]; then
-    ./configure --enable-dev-tools "$@"
+    ./configure "$@"
 fi
-- 
cgit v1.1-32-gdbae