diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2016-05-10 05:12:17 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2016-05-10 05:12:17 +0200 |
commit | 5e01a4852b31d537307994248869caf38b4023cc (patch) | |
tree | 769c60020afcb58437477f348dca58fb0c789f64 /make_win32.bat | |
parent | 766e109fd638ef1eac33717b52e04a351da46483 (diff) |
Imported Upstream version 6.0.0upstream/6.0.0
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
|