[configure] Use bash instead of sh and fix a shellcheck warning about unquoted variables. (#10856)

This commit is contained in:
Rolf Bjarne Kvinge 2021-03-12 23:14:16 +01:00 коммит произвёл GitHub
Родитель 1003c987f2
Коммит c4db1697e3
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 2 добавлений и 2 удалений

4
configure поставляемый
Просмотреть файл

@ -1,4 +1,4 @@
#!/bin/sh -e
#!/bin/bash -e
function show_help () {
cat <<EOL
@ -58,7 +58,7 @@ fi
echo "# Configure arguments: $*" >> $CONFIGURED_FILE
while test x$1 != x; do
while test "x$1" != x; do
case $1 in
--disable-mac)
echo "INCLUDE_MAC=" >> $CONFIGURED_FILE