From a5c9b857a346343443baf49679eebf12c18b4008 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Wed, 6 Aug 2025 15:14:51 +0200
Subject: Fixed running tools with args

---
 build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build b/build
index 9700d4a..310bd28 100755
--- a/build
+++ b/build
@@ -428,7 +428,7 @@ build_tool() {
 	fi
 
 	build_nissy || exit 1
-	run_single_tool
+	run_single_tool $@
 }
 
 build_solvetest() {
-- 
cgit v1.3