1 files changed, 1 insertions, 1 deletions

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() {