diff options
| -rwxr-xr-x | tools/ko-release-gen | 8 | ||||
| -rwxr-xr-x | tools/ko-release-push | 2 |
2 files changed, 5 insertions, 5 deletions
diff --git a/tools/ko-release-gen b/tools/ko-release-gen index 58f05415d..9c2b5b471 100755 --- a/tools/ko-release-gen +++ b/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 } diff --git a/tools/ko-release-push b/tools/ko-release-push index f08954fc1..ef16fce97 100755 --- a/tools/ko-release-push +++ b/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 } |