summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2022-10-21 18:25:28 +0100
committerGitHub <noreply@github.com>2022-10-21 18:25:28 +0100
commit597b66fe1f782ea0ce930db49ae285bb0235552c (patch)
tree9ee05bab86134b325081f27fc2d46d5c7564b7da /configure
parent9f1f71d0c2aa86ddc77d4243af234606f23f2767 (diff)
parentee8144e4104cf1cf1e935e4a9f4cb16d24797d52 (diff)
downloadocaml-597b66fe1f782ea0ce930db49ae285bb0235552c.tar.gz
Merge pull request #11367 from dra27/caml_init_os_params
Two Windows post-10831 clean-ups
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index da143e16c8..fe382fd868 100755
--- a/configure
+++ b/configure
@@ -19464,8 +19464,8 @@ fi
case $host in #(
*-*-mingw32) :
- bytecclibs="-lws2_32 -lversion -l:libpthread.a -lgcc_eh -lDbgHelp"
- nativecclibs="-lws2_32 -lversion -l:libpthread.a -lgcc_eh -lDbgHelp" ;; #(
+ bytecclibs="-lws2_32 -lversion -l:libpthread.a -lgcc_eh"
+ nativecclibs="-lws2_32 -lversion -l:libpthread.a -lgcc_eh" ;; #(
*-pc-windows) :
bytecclibs="advapi32.lib ws2_32.lib version.lib"
nativecclibs="advapi32.lib ws2_32.lib version.lib" ;; #(