diff options
| author | Tristan Gingold <tgingold@free.fr> | 2014-11-14 21:24:52 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2014-11-14 21:24:52 +0100 |
| commit | 0cb8bd9359c902950e3995e802881c2a77ab9572 (patch) | |
| tree | 1524f482e0665ca011e71328f55a37cd57fc2b2b /configure | |
| parent | 58a3cf18e00d419c312146a47986ae9fe5ff8802 (diff) | |
| download | ghdl-0cb8bd9359c902950e3995e802881c2a77ab9572.tar.gz ghdl-0cb8bd9359c902950e3995e802881c2a77ab9572.tar.bz2 ghdl-0cb8bd9359c902950e3995e802881c2a77ab9572.zip | |
configure: improve error message.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |