diff options
Diffstat (limited to 'dist/mcode/winbuild.bat')
| -rw-r--r-- | dist/mcode/winbuild.bat | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dist/mcode/winbuild.bat b/dist/mcode/winbuild.bat index 261f9f1ac..670b77d1e 100644 --- a/dist/mcode/winbuild.bat +++ b/dist/mcode/winbuild.bat @@ -4,6 +4,8 @@ if errorlevel 1 goto end call windows\complib
if errorlevel 1 goto end
+strip build\ghdl.exe
+
gnatmake windows/ghdlversion -o windows/ghdlversion.exe
windows\ghdlversion < ..\..\src\version.ads > windows\version.nsi
|