diff --git a/src/globals/test-extensions.php b/src/globals/test-extensions.php index d7d81099..8f0c32cc 100644 --- a/src/globals/test-extensions.php +++ b/src/globals/test-extensions.php @@ -114,7 +114,7 @@ function quote2(string $param): string } // generate build command -if ($argv[1] === 'build_cmd') { +if ($argv[1] === 'build_cmd' || $argv[1] === 'build_embed_cmd') { $build_cmd = 'build '; $build_cmd .= quote2($final_extensions) . ' '; $build_cmd .= $zts ? '--enable-zts ' : '';