diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-12-10 19:09:14 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-12-10 19:09:49 +0100 |
commit | fa89d0f02c435ae921a46820779606205d6dcb19 (patch) | |
tree | 71af33d9b41aaf6281220982c0bd19b32862a544 /src/bug.adb | |
parent | aa88b88f890a8ebe09f5ed45a67b955e63387239 (diff) | |
download | ghdl-fa89d0f02c435ae921a46820779606205d6dcb19.tar.gz ghdl-fa89d0f02c435ae921a46820779606205d6dcb19.tar.bz2 ghdl-fa89d0f02c435ae921a46820779606205d6dcb19.zip |
version.in: avoid to duplicate version string.
Diffstat (limited to 'src/bug.adb')
-rw-r--r-- | src/bug.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/bug.adb b/src/bug.adb index f7b44210f..0c2c5d5fd 100644 --- a/src/bug.adb +++ b/src/bug.adb @@ -70,7 +70,8 @@ package body Bug is Put_Line (Standard_Error, "Please report this bug on https://github.com/tgingold/ghdl/issues"); - Put_Line (Standard_Error, "GHDL release: " & Ghdl_Release); + Put_Line (Standard_Error, + "GHDL release: " & Ghdl_Ver & ' ' & Ghdl_Release); Put_Line (Standard_Error, "Compiled with " & Get_Gnat_Version); Put_Line (Standard_Error, "Target: " & Standard'Target_Name); Put_Line (Standard_Error, "In directory: " & |