Move production ready tools into tools/ and do not install the dev/ ones

1 files changed, 1 insertions, 1 deletions

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