tools/scripts/ci_lint.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#!/bin/bash

if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then
  paths=$(git diff --diff-filter ACMR --name-only $TRAVIS_BRANCH -- test/)

  if [ "$paths" == "" ]; then
    echo No test files added or modified. Exiting.
    exit 0
  fi

  echo New or modified test files:
  echo "$paths"

else
  paths="test/"
fi

./tools/lint/lint.py --whitelist lint.whitelist $paths