From 0cb8bd9359c902950e3995e802881c2a77ab9572 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 14 Nov 2014 21:24:52 +0100
Subject: configure: improve error message.

---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure')

diff --git a/configure b/configure
index ca9baa096..35840fbbd 100755
--- a/configure
+++ b/configure
@@ -76,7 +76,7 @@ fi
 # Check that gnatmake exists
 if ! $GNATMAKE 2> /dev/null; then
     echo "Sorry, you need GNAT to build GHDL.  See the README"
-    echo "(gnatmake is $GNATMAKE)"
+    echo "(gnatmake executable is: $GNATMAKE)"
     exit 1
 fi
 
-- 
cgit v1.2.3