diff options
author | 2024-03-30 14:16:09 +0100 | |
---|---|---|
committer | 2024-03-30 14:16:09 +0100 | |
commit | e1aa6894580cd3c71f21adc3ff667c5223fc9a4c (patch) | |
tree | bd452455db430656375febe0f481ddcb7386a535 | |
parent | scripts/bootstrap-prefix: shellcheck (diff) | |
download | prefix-e1aa6894580cd3c71f21adc3ff667c5223fc9a4c.tar.gz prefix-e1aa6894580cd3c71f21adc3ff667c5223fc9a4c.tar.bz2 prefix-e1aa6894580cd3c71f21adc3ff667c5223fc9a4c.zip |
scripts/bootstrap-prefix: fix econf after shellconf
CONFIG_SHELL may be unset, so only quote it, when it is, leave it unset
otherwise
Signed-off-by: Fabian Groffen <grobian@gentoo.org>
-rwxr-xr-x | scripts/bootstrap-prefix.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/bootstrap-prefix.sh b/scripts/bootstrap-prefix.sh index d58d58175d..0ef1aefa3b 100755 --- a/scripts/bootstrap-prefix.sh +++ b/scripts/bootstrap-prefix.sh @@ -25,7 +25,7 @@ v() { echo "$@"; "$@"; } econf() { estatus "stage1: configuring ${PWD##*/}" - v "${CONFIG_SHELL}" ./configure \ + v ${CONFIG_SHELL:+"${CONFIG_SHELL}"} ./configure \ --host="${CHOST}" \ --prefix="${ROOT}"/tmp/usr \ --mandir="${ROOT}"/tmp/usr/share/man \ |