From d745c7d9ec21763572801f28c08819a6cbd09ae7 Mon Sep 17 00:00:00 2001 From: crazywhalecc Date: Wed, 29 Apr 2026 16:38:59 +0800 Subject: [PATCH] Add maintainer-skip-build option --- docs/en/guide/cli-reference.md | 7 ++++--- docs/zh/guide/cli-reference.md | 1 + 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/docs/en/guide/cli-reference.md b/docs/en/guide/cli-reference.md index ddf1dbaf..a02c6ec5 100644 --- a/docs/en/guide/cli-reference.md +++ b/docs/en/guide/cli-reference.md @@ -125,9 +125,10 @@ These flags apply only to the combined `build:php` target. To build a specific S ### embed Options {#embed-options} -| Option | Description | -|-------------------------|-----------------------------------------------------------------------| -| `--build-shared=` | Compile specific extensions as shared libraries (requires embed SAPI) | +| Option | Description | +|-----------------------------|------------------------------------------------------------------------------------------------------| +| `--build-shared=` | Compile specific extensions as shared libraries (requires embed SAPI) | +| `--maintainer-skip-build` | (maintainer only) Skip the PHP embed build if `libphp.a` / `libphp.so` already exists in buildroot | ### Download Pass-through Options {#download-options} diff --git a/docs/zh/guide/cli-reference.md b/docs/zh/guide/cli-reference.md index eb014447..961e0aff 100644 --- a/docs/zh/guide/cli-reference.md +++ b/docs/zh/guide/cli-reference.md @@ -128,6 +128,7 @@ spc build:php [options] | 选项 | 说明 | |---|---| | `--build-shared=` | 将指定扩展编译为共享库（需要 embed SAPI）| +| `--maintainer-skip-build` | （仅维护者）若 buildroot 中已存在 `libphp.a` / `libphp.so`，则跳过 PHP embed 的编译构建 | ### 下载透传选项 {#download-options}