aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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