diff options
Diffstat (limited to 'other/travis/env-linux.sh')
-rw-r--r-- | other/travis/env-linux.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/other/travis/env-linux.sh b/other/travis/env-linux.sh index 0eb5e9ea..2544ee56 100644 --- a/other/travis/env-linux.sh +++ b/other/travis/env-linux.sh | |||
@@ -3,8 +3,11 @@ | |||
3 | CMAKE=cmake | 3 | CMAKE=cmake |
4 | NPROC=`nproc` | 4 | NPROC=`nproc` |
5 | CURDIR=$PWD | 5 | CURDIR=$PWD |
6 | TESTS=true | ||
7 | 6 | ||
8 | RUN() { | 7 | RUN() { |
9 | "$@" | 8 | "$@" |
10 | } | 9 | } |
10 | |||
11 | TESTS() { | ||
12 | "$@" | ||
13 | } | ||