aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2014-11-14 21:24:52 +0100
committerTristan Gingold <tgingold@free.fr>2014-11-14 21:24:52 +0100
commit0cb8bd9359c902950e3995e802881c2a77ab9572 (patch)
tree1524f482e0665ca011e71328f55a37cd57fc2b2b
parent58a3cf18e00d419c312146a47986ae9fe5ff8802 (diff)
downloadghdl-0cb8bd9359c902950e3995e802881c2a77ab9572.tar.gz
ghdl-0cb8bd9359c902950e3995e802881c2a77ab9572.tar.bz2
ghdl-0cb8bd9359c902950e3995e802881c2a77ab9572.zip
configure: improve error message.
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
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