diff --git a/bin/run.sh b/bin/run.sh index c7d2d35e..ff6b3de0 100755 --- a/bin/run.sh +++ b/bin/run.sh @@ -9,8 +9,7 @@ fatal() { error "$@"; exit 1; } cd "$(dirname "$0")"/.. ignoreRoot=0 -for ARG in "$@" -do +for ARG in "$@"; do if [ "$ARG" = "--root" ]; then ignoreRoot=1 fi