From d5b4ff0f38a03cc21d2958e9563e68971e32ee81 Mon Sep 17 00:00:00 2001 From: Avril Date: Fri, 27 Nov 2020 12:22:21 +0000 Subject: [PATCH] nothing of note --- lean/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean/Makefile b/lean/Makefile index fc78b7c..5a65e66 100644 --- a/lean/Makefile +++ b/lean/Makefile @@ -16,7 +16,7 @@ CXX_OPT_FLAGS?= $(OPT_FLAGS) -felide-constructors CFLAGS += $(COMMON_FLAGS) --std=gnu11 CXXFLAGS += $(COMMON_FLAGS) --std=gnu++20 -fno-exceptions -LDFLAGS += -lfmt +LDFLAGS += -lfmt STRIP=strip