>>>>> On Tue, 12 Sep 2023, Eli Schwartz wrote:

> +                             mkdir -p "${BUILD_DIR}" || die
> +                             local -x 
> DIST_EXTRA_CONFIG="${BUILD_DIR}/extra-setup.cfg"
> +                             cat > "${DIST_EXTRA_CONFIG}" <<-EOF
> +                                     [build]
> +                                     build_base = ${BUILD_DIR}/build
> +
> +                                     [build_ext]
> +                                     parallel = ${jobs}
> +                             EOF

"|| die" should also be added for the cat command.

Reply via email to