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