Add timeout for http servers

[grits] / gen-win32.sh

diff --git a/gen-win32.sh b/gen-win32.sh
index 7106b06200f7166031a6387a4ba17e76e0ee5dae..51117d80fec1545c6e5003428b2563ec1931401c 100755 (executable)
--- a/gen-win32.sh
+++ b/gen-win32.sh
@@ -1,7 +1,6 @@
 #!/bin/bash
-dir=$(dirname $(readlink -f $0))
 ./autogen.sh \
-       "--host=i686-pc-mingw32" \
-       "--libdir=Z:$dir/src/.libs" \
-       "--includedir=Z:$dir/include" \
-       CFLAGS="-g -Werror -Wno-unused $CFLAGS"
+       --enable-shared \
+       --disable-static \
+       --host=i686-pc-mingw32 \
+       CFLAGS="-g -Werror -Wno-unused -O3"