From 66f532b85ddb2e4ecfb55ae3ee92f0f78aad17e4 Mon Sep 17 00:00:00 2001
From: "Hahn Axel (hahn)" <axel.hahn@unibe.ch>
Date: Mon, 17 Mar 2025 11:13:56 +0100
Subject: [PATCH] build -t:: updat params for test run
---
build.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.php b/build.php
index a652636..cb2567c 100755
--- a/build.php
+++ b/build.php
@@ -124,7 +124,7 @@ _h1("Test generated binary");
if ($FLAG_FULLTEST){
_h1("Run test suite");
- _exec("php \"$selfdir/tests/00_start.php\"");
+ _exec("php \"$selfdir/tests/00_start.php\" --bin \"$OUTFILE\"");
} else {
_skip("don't run test suite. Use --test to run it. Starting simple test.");
_exec("file \"$OUTFILE\"");
--
GitLab