summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorTom Kelly <ctk21@cl.cam.ac.uk>2021-03-02 14:12:08 +0000
committerTom Kelly <ctk21@cl.cam.ac.uk>2021-03-02 14:12:08 +0000
commitf95d708c847af63a6450bd527cf59db8fad67779 (patch)
tree0d174b3f4b3fef1fae6054136f7068c741eb3e0b /configure
parent8c99c89489b74769d361b88765d703573ed9df36 (diff)
downloadocaml-f95d708c847af63a6450bd527cf59db8fad67779.tar.gz
Fixup configure as need pthread_link with multicore in nativecclibs
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 33d9f0bcbe..2a7c7c82c7 100755
--- a/configure
+++ b/configure
@@ -17199,7 +17199,7 @@ case $host in #(
nativecclibs="advapi32.lib ws2_32.lib version.lib" ;; #(
*) :
bytecclibs="$cclibs $DLLIBS $pthread_link $instrumented_runtime_ldlibs"
- nativecclibs="$cclibs $DLLIBS" ;;
+ nativecclibs="$cclibs $DLLIBS $pthread_link" ;;
esac
if test x"$libdir" = x'${exec_prefix}/lib'; then :