fix: macOS build, once more

Kha · Oct 9, 2021 · 2ab8a38 · 2ab8a38
1 parent 1f1dc0b
commit 2ab8a38
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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)