diff options
-rwxr-xr-x | azure-pipelines/manifest.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/azure-pipelines/manifest.sh b/azure-pipelines/manifest.sh index 11842fe0d..730a09283 100755 --- a/azure-pipelines/manifest.sh +++ b/azure-pipelines/manifest.sh @@ -55,12 +55,12 @@ for filename in $(ls ${FOLDER} | grep -v ".txt$\|.md$\|sum$" | sort); do done # output_files key filename... -function output_files { +output_files() { if [ "$#" -lt 2 ]; then return; fi key=$1 echo "${key}:" >> manifest.yaml shift - while (( "$#" )); do + while [ "$#" -gt 0 ]; do filename=$1 if [ ! -e ${FOLDER}/${filename}.md5sum ] || [ ! -e ${FOLDER}/${filename}.sha1sum ] || [ ! -e ${FOLDER}/${filename}.sha256sum ]; then echo "ERROR: missing checksum file for ${filename}" 1>&2 |