diff --git a/autogen.sh b/autogen.sh
index 1a114eab0757191052fdd990f5a9e86724a86b5b..4c02b8af463ab88e6035d09fd582d2daf12dc9b4 100755 (executable)
--- a/autogen.sh
+++ b/autogen.sh
# configure
-echo "./configure $*"
-./configure $*
+if test x$NOCONFIGURE = x; then
+ echo "./configure $*"
+ ./configure $*
+fi