From 7ad3c2f5edf062f0824e4e18099be06b1e10bd12 Mon Sep 17 00:00:00 2001 From: David Wu Date: Mon, 25 Dec 2017 19:02:13 +0100 Subject: [PATCH] Update push.sh --- .travis/push.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis/push.sh b/.travis/push.sh index c54d1f4dd..cfe5e2331 100755 --- a/.travis/push.sh +++ b/.travis/push.sh @@ -6,7 +6,7 @@ setup_git() { commit_website_files() { git checkout master if [[ $(( $TRAVIS_BUILD_NUMBER % 5 )) == 0 ]]; then - n = $(( ($TRAVIS_BUILD_NUMBER-270)/5)) + declare -i n=($TRAVIS_BUILD_NUMBER-270)/5 npm run linter echo "Linting build: $n" fi