Merge pull request #11208 from MinaProtocol/fix/use-default-linker

Fix incorrect default flag value
MinaProtocol · Jun 7, 2022 · 7ac6b53 · 7ac6b53
2 parents 7028850 + 73771b0
commit 7ac6b53
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/dune.linker.inc b/src/dune.linker.inc
@@ -12,5 +12,5 @@
   (enabled_if
     (or
       (= %{bin-available:lld} false)
-      (= %{env:DUNE_USE_DEFAULT_LINKER=n} n)))
+      (= %{env:DUNE_USE_DEFAULT_LINKER=n} y)))
   (action (with-stdout-to dune-linker (echo " "))))