GNUBoot/gnuboot
GNUBoot
/
gnuboot
mirror of https://git.savannah.gnu.org/git/gnuboot.git
2
1
Fork 0
Code Issues Releases Activity

website-build: build.sh: fix missing double quote in $i comparison. 

Without that fix, using shellcheck on this file results in several warning
like this one:
    In website-build/build.sh line 101:
    			if [ $i -ge $# ] ; then
                                 ^-- SC2086 (info):
				 Double quote to prevent
				 globbing and word splitting.

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
This commit is contained in:
Denis 'GNUtoo' Carikli 2023-11-07 20:03:17 +01:00 committed by Adrien 'neox' Bourmault
parent 971eae0ca5
commit 4b122e8989
Signed by: neox
GPG Key ID: 2974E1D5F25DFCC8
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
website-build/build.sh
View File

@ -81,7 +81,7 @@ help_missing_arg()
} }
i=1 i=1
while [ $i -le $# ] ; do while [ "$i" -le $# ] ; do
opt="$(eval echo \$$i)" opt="$(eval echo \$$i)"
case "${opt}" in case "${opt}" in
@ -90,7 +90,7 @@ while [ $i -le $# ] ; do
exit 0 exit 0
;; ;;
--with-lbwww-path) --with-lbwww-path)
if [ $i -ge $# ] ; then if [ "$i" -ge $# ] ; then
help_missing_arg "--with-lbwww-path" help_missing_arg "--with-lbwww-path"
exit ${EX_USAGE} exit ${EX_USAGE}
fi fi
@ -98,7 +98,7 @@ while [ $i -le $# ] ; do
i="$(expr $i + 1)" i="$(expr $i + 1)"
;; ;;
--with-untitled-path) --with-untitled-path)
if [ $i -ge $# ] ; then if [ "$i" -ge $# ] ; then
help_missing_arg "--with-untitled-path" help_missing_arg "--with-untitled-path"
exit ${EX_USAGE} exit ${EX_USAGE}
fi fi