From 87a695ed4bcae356587fc7133232772ce9ab9742 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 14 Jan 2016 10:00:56 +0000
Subject: Fix behaviour of --with-metasmt when passed a path that doesn't
 exist.

---
 configure | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'configure')

diff --git a/configure b/configure
index af871ce6..832c35e5 100755
--- a/configure
+++ b/configure
@@ -5031,7 +5031,11 @@ fi
 if test X$with_metasmt = X ; then
   ENABLE_METASMT=0
 else
-  metasmt_root=`cd $with_metasmt 2> /dev/null; pwd`
+  metasmt_root=`(cd $with_metasmt && pwd) 2> /dev/null`
+  #Check for bad path
+  if test "X$metasmt_root" = X ; then
+    as_fn_error $? "Cannot access path $with_metasmt passed to --with-metasmt" "$LINENO" 5
+  fi
 
     old_CPPFLAGS="$CPPFLAGS"
   old_LDFLAGS="$LDFLAGS"
-- 
cgit 1.4.1