Fix shellcheck warnings in shell scripts.

This commit is contained in:
Dan Gohman
2018-06-11 13:48:35 -07:00
parent c03d67a4ff
commit 967da59181
6 changed files with 24 additions and 28 deletions

View File

@@ -1,9 +1,10 @@
#!/bin/bash
set -euo pipefail
cd $(dirname "$0")
topdir=$(dirname "$0")
cd "$topdir"
function runif {
if command -v "$1" > /dev/null; then
if type "$1" > /dev/null; then
echo " === $1 ==="
"$@"
else