diff --git a/build.php b/build.php index a65263626de5bd9ac56f5276d5c64bd13ae75451..cb2567c0f2df90f2c66c85ebb53b3c15bee6f48d 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\"");