From ba2e5b432380eec39879108cfdae24e87ef8540d Mon Sep 17 00:00:00 2001 From: Vincent Li Date: Mon, 13 Jan 2025 18:36:51 -0800 Subject: [PATCH] make.sh: add build_package to build packages sometime we only want to build package so we can just ./make.sh build_package and skip other build processes. Signed-off-by: Vincent Li --- make.sh | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/make.sh b/make.sh index 09d1ee5dc..f51b37683 100755 --- a/make.sh +++ b/make.sh @@ -2511,6 +2511,18 @@ build) print_build_summary $(( SECONDS - START_TIME )) ;; +build_package) + START_TIME="${SECONDS}" + + # Launch in a new namespace + exec_in_namespace "$@" + + # Prepare the environment + prepareenv --required-space=8192 + + # Build all packages + build_packages + ;; tail) tail -F \ "${LOG_DIR}/_build.preparation.log" \