Merge branch 'master' into 0.8

This commit is contained in:
Preetha
2018-01-03 16:06:38 -06:00
committed by GitHub
43 changed files with 817 additions and 318 deletions

View File

@@ -9,7 +9,7 @@ trap 'kill ${PING_LOOP_PID}' EXIT HUP INT QUIT TERM
if [ "$RUN_STATIC_CHECKS" ]; then
make check
if [ "$TRAVIS_OS_NAME" == "linux" ]; then
if [ "$TRAVIS_OS_NAME" == "linux" ]; then
make checkscripts
fi
fi