From 8bce372f5fa773f1143d26bc429a61382b757cd6 Mon Sep 17 00:00:00 2001 From: Nicolas Noble Date: Mon, 13 Nov 2023 23:03:32 -0800 Subject: [PATCH] We don't need libdl for the tools. --- .github/filter-support/Makefile-filtered | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/filter-support/Makefile-filtered b/.github/filter-support/Makefile-filtered index d5961061e..4ca07aced 100644 --- a/.github/filter-support/Makefile-filtered +++ b/.github/filter-support/Makefile-filtered @@ -58,7 +58,6 @@ else LDFLAGS += -lstdc++fs endif -LDFLAGS += -ldl LDFLAGS += -g ifeq ($(CC_IS_CLANG),true)