From 73771b019eb3e4a487db13fa72102ad32c7ad19a Mon Sep 17 00:00:00 2001 From: mrmr1993 Date: Tue, 7 Jun 2022 18:14:14 +0100 Subject: [PATCH] Fix incorrect default flag value (No wonder this didn't work on CI...) --- src/dune.linker.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dune.linker.inc b/src/dune.linker.inc index ae253449a69..c4dc7d3376d 100644 --- 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 " "))))