From c49799e7dc19456f53c747d6af0052ec65f97d41 Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Wed, 14 Nov 2012 14:55:02 -0700
Subject: [PATCH] This is useful for those typing ./configure & make without
 looking at output. :)

---
 configure | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/configure b/configure
index 4666fe6803..cfebdab14b 100755
--- a/configure
+++ b/configure
@@ -3,3 +3,5 @@
 echo "THIS COMMAND IS NOT AVAILABLE!"
 echo "Since v3.4 we use cmake. Now use:"
 echo -e "\tcmake -DCMAKE_INSTALL_PREFIX=<where_you_want> .\n\tmake\n\tmake install"
+
+exit 1
\ No newline at end of file
-- 
2.20.1