diff --git a/hadrian/src/Settings/Builders/Configure.hs b/hadrian/src/Settings/Builders/Configure.hs
index fadeed02331a0a38571e2f35934d64ee01f36e4f..f60eebef37b86e5484c0021c48387491ead62331 100644
--- a/hadrian/src/Settings/Builders/Configure.hs
+++ b/hadrian/src/Settings/Builders/Configure.hs
@@ -27,7 +27,7 @@ configureBuilderArgs = do
                      -- https://gmplib.org/manual/Build-Options for
                      -- more detailed explanation of this configure
                      -- option.
-                     <> [ "--enable-alloca=malloc-reentrant" | targetArch == "wasm32" ]
+                     <> [ "--enable-alloca=malloc-notreentrant" | targetArch == "wasm32" ]
                      -- Enable PIC unless target is wasm32, in which
                      -- case we don't want libgmp.a to be bloated due
                      -- to PIC overhead.