diff options
Diffstat (limited to 'util/travis/common.sh')
-rw-r--r-- | util/travis/common.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/util/travis/common.sh b/util/travis/common.sh deleted file mode 100644 index 16c7db324..000000000 --- a/util/travis/common.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/bash -e - -# Relative to git-repository root: -TRIGGER_COMPILE_PATHS="src/|CMakeLists.txt|cmake/Modules/|util/travis/|util/buildbot/" - -needs_compile() { - git diff --name-only $TRAVIS_COMMIT_RANGE | egrep -q "^($TRIGGER_COMPILE_PATHS)" -} |