diff --git a/scripts/travis.sh b/scripts/travis.sh index bdad02da5..d17aa91e6 100755 --- a/scripts/travis.sh +++ b/scripts/travis.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/bash set -e export PING_SLEEP=60 @@ -7,11 +7,9 @@ PING_LOOP_PID=$! trap 'kill ${PING_LOOP_PID}' EXIT HUP INT QUIT TERM -env - -if [[ "$RUN_STATIC_CHECKS" ]]; then +if [ "$RUN_STATIC_CHECKS" ]; then make check - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then + if [ "$TRAVIS_OS_NAME" == "linux" ]; then make checkscripts fi fi