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

website-build: check.sh: Use bash. 

Without that fix, using shellcheck on this file results in several warning
like this one:
    In website-build/check.sh line 27:
    	echo -e "\t-h, --help"
                 ^-- SC3037 (warning):
		 In POSIX sh, echo flags are undefined.

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 25c5ac1d8d
commit c5694162d2
Signed by: neox
GPG Key ID: 2974E1D5F25DFCC8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
website-build/check.sh
View File

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
# Copyright (C) 2022-2023 Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
#
# This program is free software: you can redistribute it and/or modify