diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-05 14:17:46 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-05 21:02:21 +0100 |
| commit | 0747980c3e8bf101abee2aad730f03da1411d318 (patch) | |
| tree | 4b924514b63bd19c91fe2824f764893c12137d5e /src/bug.adb | |
| parent | 156c2fe69ef9a08084196721cc13df8ea2a694e6 (diff) | |
| download | ghdl-0747980c3e8bf101abee2aad730f03da1411d318.tar.gz ghdl-0747980c3e8bf101abee2aad730f03da1411d318.tar.bz2 ghdl-0747980c3e8bf101abee2aad730f03da1411d318.zip | |
version: add Ref and Hash
Diffstat (limited to 'src/bug.adb')
| -rw-r--r-- | src/bug.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/bug.adb b/src/bug.adb index 334717399..f16f62d5f 100644 --- a/src/bug.adb +++ b/src/bug.adb @@ -19,7 +19,7 @@ with Ada.Command_Line; use Ada.Command_Line; with GNAT.Directory_Operations; with Simple_IO; use Simple_IO; -with Version; use Version; +with Version; package body Bug is -- Declared in the files generated by gnatbind. @@ -69,7 +69,9 @@ package body Bug is ("******************** GHDL Bug occurred ***************************"); Put_Line_Err ("Please report this bug on https://github.com/ghdl/ghdl/issues"); - Put_Line_Err ("GHDL release: " & Ghdl_Ver & ' ' & Ghdl_Release); + Put_Line_Err ( "GHDL release: " & + Version.Ghdl_Ver & ' ' & Version.Ghdl_Release + ); Put_Line_Err ("Compiled with " & Get_Gnat_Version); Put_Line_Err ("Target: " & Standard'Target_Name); Put_Line_Err (GNAT.Directory_Operations.Get_Current_Dir); |