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: Use bash. 

Without that fix, using shellcheck on this file results in several warning
like this one:
    In website-build/build.sh line 32:
    	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 56af2d62fe
commit 1645d7abe1
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/build.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