tools: ko-release: make scripts bourne sh compliant [checkbashisms]

$ checkbashisms ko-release-gen
possible bashism in ko-release-gen line 31 ('function' is useless):
function die {
possible bashism in ko-release-gen line 36 ('function' is useless):
function add_file {
possible bashism in ko-release-gen line 68 ('function' is useless):
function add_html_dir {
possible bashism in ko-release-gen line 72 (brace expansion):
        for fl in $(ls $src/*.{html,css,png}); do

$ checkbashisms ko-release-push
possible bashism in ko-release-push line 29 ('function' is useless):
function die {
possible bashism in ko-release-push line 34 ('function' is useless):
function push_file {

Signed-off-by: Sami Kerola <kerolasa@iki.fi>

tools/ko-release-gen

@@ -29,12 +29,12 @@ DISTDIR=${1:-"kernel.org"}/v${VERSION_MAJOR}
 
 GPG_CMD="gpg --use-agent --armor --detach-sign --quiet"
 
-function die {
+die() {
 	echo $1
 	exit 1
 }
 
-function add_file {
+add_file() {
 	local src="$1"
 	local name=$(basename $1)
 	local subdir=$DISTDIR/${2:-""}
@@ -66,11 +66,11 @@ function add_file {
 	echo " OK "
 }
 
-function add_html_dir {
+add_html_dir() {
 	local src="$1"		# source dir
 	local tgt="$2"		# target dir
 	
-	for fl in $(ls $src/*.{html,css,png}); do
+	for fl in $(ls $src/*.html $src/*.css $src/*.png); do
 		add_file $fl $tgt
 	done
 }

tools/ko-release-push

@@ -26,7 +26,7 @@ DISTDIR="${BASEDIR}/v${VERSION_MAJOR}"
 
 KO_DIR="/pub/linux/utils/util-linux/v${VERSION_MAJOR}"
 
-function die {
+die() {
 	echo $1
 	exit 1
 }