Fix warnings reported by bashate.

See https://pypi.org/project/bashate/ for more info.
This commit is contained in:
Dan Gohman
2018-05-24 16:53:34 -07:00
parent a6e6b79a2e
commit 99f6055c55
3 changed files with 4 additions and 5 deletions

View File

@@ -18,7 +18,7 @@ export PYTHONDONTWRITEBYTECODE=1
cd $(dirname "$0")
topdir=$(pwd)
function banner() {
function banner {
echo "====== $@ ======"
}