diff -r 751567312cdd -r 378c6f53452d autogen.sh
--- a/autogen.sh	Sat Feb 02 18:29:35 2013 +0100
+++ b/autogen.sh	Sat Feb 02 21:20:08 2013 +0100
@@ -160,5 +160,8 @@
 ###############################################################################
 # Run configure
 ###############################################################################
-echo "running ./configure ${CONFIGURE_FLAGS} $@"
-./configure ${CONFIGURE_FLAGS} $@
+if test -z "$NOCONFIGURE"; then
+	echo "running ./configure ${CONFIGURE_FLAGS} $@"
+	./configure ${CONFIGURE_FLAGS} $@
+fi
+