From 2ab8a38daa36650ad70f40f2290bf9c22ae0406e Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sat, 9 Oct 2021 10:24:30 +0200
Subject: [PATCH] fix: macOS build, once more

---
 src/lean.mk.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lean.mk.in b/src/lean.mk.in
index 92fd1f97a3..1b620bd995 100644
--- a/src/lean.mk.in
+++ b/src/lean.mk.in
@@ -83,9 +83,9 @@ ifdef CMAKE_LIKE_OUTPUT
 	@echo "[    ] Linking $@"
 endif
 ifdef PROFILE
-	\time -f "%U %S" $(LEANC) -o "$@" $^ $(LINK_OPTS) 2>&1 > /dev/null | awk '{ printf "C linking %fs\n", $$1 + $$2 }' > /dev/stderr
+	\time -f "%U %S" $(LEANC) -o "$@" $^ $(LEANC_OPTS) $(LINK_OPTS) 2>&1 > /dev/null | awk '{ printf "C linking %fs\n", $$1 + $$2 }' > /dev/stderr
 else
-	$(LEANC) -o "$@" $^ $(LINK_OPTS)
+	$(LEANC) -o "$@" $^ $(LEANC_OPTS) $(LINK_OPTS)
 endif
 
 $(LIB_OUT)/$(STATIC_LIB_NAME): $(addprefix $(TEMP_OUT)/,$(SRCS:.lean=.o)) | $(LIB_OUT)