[PATCH] Have to configure and build inside the source directory.

[Thomas Schwinge]

From: Thomas Schwinge <thomas at schwinge.name>

Signed-off-by: Thomas Schwinge <thomas at schwinge.name>

---
 configure |   11 +++++++++++
 1 files changed, 11 insertions(+), 0 deletions(-)

diff --git a/configure b/configure
index c58dd0f..b5e446c 100755
--- a/configure
+++ b/configure
@@ -188,6 +188,17 @@ developers. Then, please email those details to the Notmuch list
 (notmuch at notmuchmail.org) so that we can hopefully make future
 versions of notmuch easier for you to use.
 
+EOF
+
+if ! { : < configure; } 2> /dev/null; then
+    cat <<EOF
+*** Error: You have to configure and build in the source directory.
+
+EOF
+    exit 1
+fi
+
+cat <<EOF
 We'll now investigate your system to verify that all required
 dependencies are available:
 
-- 
tg: (b3caef1..) srcdir (depends on: master)