nothing of note

4 years ago · d5b4ff0f38
parent 5d4a44ab57
commit d5b4ff0f38
1 changed files with 1 additions and 1 deletions
--- 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