diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2016-05-10 05:15:59 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2016-05-10 05:15:59 +0200 |
| commit | e706cbe5496e1829d1ddbe4d5bb0a6728204e510 (patch) | |
| tree | c72d1848ac6aef07703848d0ffbe80f1336a81cd /make_win32.bat | |
| parent | 69ab3addbc2dbbc90c311b2845cd25a2159435cd (diff) | |
| parent | 5e01a4852b31d537307994248869caf38b4023cc (diff) | |
new upstream release
Diffstat (limited to 'make_win32.bat')
| -rw-r--r-- | make_win32.bat | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/make_win32.bat b/make_win32.bat new file mode 100644 index 0000000..e628994 --- /dev/null +++ b/make_win32.bat @@ -0,0 +1,3 @@ +cd src
+copy config.h.win32 config.h
+nmake -f Makefile.windows
|