diff options
author | Tristan Gingold | 2016-01-09 09:17:10 +0100 |
---|---|---|
committer | Tristan Gingold | 2016-01-09 09:17:10 +0100 |
commit | e2b7851cf99ed2f91ae55101c546141cf2e20049 (patch) | |
tree | 096315f50741981d753bd3d04a32073ec11a3732 /dist/mcode/winbuild.bat | |
parent | de9b850acd840f3f398f92deb526ea11284bb099 (diff) | |
download | ghdl-e2b7851cf99ed2f91ae55101c546141cf2e20049.tar.gz ghdl-e2b7851cf99ed2f91ae55101c546141cf2e20049.tar.bz2 ghdl-e2b7851cf99ed2f91ae55101c546141cf2e20049.zip |
windows bat command: move strip command.
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 261f9f1..670b77d 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
|