From: Thomas Schwinge <thomas@schwinge.name> Signed-off-by: Thomas Schwinge <thomas@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@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)