Merge branch 'master' into master

This commit is contained in:
Arunothia Marappan
2020-12-26 15:02:27 -08:00
committed by GitHub
+6 -6
View File
@@ -2,10 +2,10 @@
set -e
HOOKS=`dirname $0`
GIT=`dirname $HOOKS`
ROOT=`dirname $GIT`
HOOKS=$(dirname "$0")
GIT=$(dirname "$HOOKS")
ROOT=$(dirname "$GIT")
. $ROOT/env/bin/activate
$ROOT/script/lint
$ROOT/script/coverage
. "$ROOT/env/bin/activate"
"$ROOT/script/lint"
"$ROOT/script/coverage"