diff options
-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 \ |