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/ghdldrv/ghdldrv.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/ghdldrv/ghdldrv.adb')
| -rw-r--r-- | src/ghdldrv/ghdldrv.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/ghdldrv/ghdldrv.adb b/src/ghdldrv/ghdldrv.adb index 03861f793..2d3342b1b 100644 --- a/src/ghdldrv/ghdldrv.adb +++ b/src/ghdldrv/ghdldrv.adb @@ -1752,7 +1752,9 @@ package body Ghdldrv is Files_List := Build_Dependence (Prim_Name, Sec_Name); Put_Line ("# Makefile automatically generated by ghdl"); - Put ("# Version: "); + Put ("# Version: GHDL "); + Put (Version.Ghdl_Ver); + Put (' '); Put (Version.Ghdl_Release); Put (" - "); if Version_String /= null then |