From 542a84ddf39c8da13fbd5430be7dcdc78e207cef Mon Sep 17 00:00:00 2001 From: Marcus Holland-Moritz Date: Mon, 17 Mar 2025 18:27:24 +0100 Subject: [PATCH] fix(universal): use `tool_header_nodeps` --- tools/src/universal.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/src/universal.cpp b/tools/src/universal.cpp index c8f42082..849174cc 100644 --- a/tools/src/universal.cpp +++ b/tools/src/universal.cpp @@ -104,7 +104,7 @@ int SYS_MAIN(int argc, sys_char** argv) { ranges::to; // clang-format off - std::cout << tool_header("dwarfs-universal") + std::cout << tool_header_nodeps("dwarfs-universal") << "Command line options:\n" << " --tool= " "which tool to run; available tools are:\n"