From 9c967c95f79cb4694e16700627e2d47987a699bf Mon Sep 17 00:00:00 2001 From: Tim Hutt Date: Tue, 3 Dec 2024 18:56:35 +0000 Subject: [PATCH] Update Makefile Co-authored-by: Jordan Carlin Signed-off-by: Tim Hutt --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 3121d9f25..d72153579 100644 --- a/Makefile +++ b/Makefile @@ -193,7 +193,7 @@ SAIL_FLAGS += -c_coverage $(ALL_BRANCHES) -c_include sail_coverage.h C_LIBS += $(SAIL_LIB_DIR)/coverage/libsail_coverage.a -lm -lpthread -ldl endif -# Optional link C_LIBS statically. Unlike -static this will not +# Optionally link C_LIBS statically. Unlike -static this will not # link glibc statically which is generally a bad idea. ifneq (,$(STATIC)) UNAME_S := $(shell sh -c 'uname -s 2>/dev/null || echo not')