diff options
author | iphydf <iphydf@users.noreply.github.com> | 2016-10-24 16:06:09 +0100 |
---|---|---|
committer | iphydf <iphydf@users.noreply.github.com> | 2016-10-26 13:34:29 +0100 |
commit | de966cdf90843819e2f7287e22ddcb5f95491b18 (patch) | |
tree | 2c92c01a69db30a9912581807a78cdeff974aa3c /other/travis/env-linux.sh | |
parent | 09c8575a7d93c8f9302330620f95645757ab276e (diff) |
Error if format_test can't be executed.
This ensures that on Travis, format_test will always be executed, or the
build fails.
Diffstat (limited to 'other/travis/env-linux.sh')
-rw-r--r-- | other/travis/env-linux.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/other/travis/env-linux.sh b/other/travis/env-linux.sh index 16dbb8cc..a8b1d5ae 100644 --- a/other/travis/env-linux.sh +++ b/other/travis/env-linux.sh | |||
@@ -1,7 +1,7 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | 2 | ||
3 | CMAKE=cmake | 3 | CMAKE=cmake |
4 | CMAKE_EXTRA_FLAGS="" | 4 | CMAKE_EXTRA_FLAGS="-DFORMAT_TEST=ON" |
5 | NPROC=`nproc` | 5 | NPROC=`nproc` |
6 | CURDIR=$PWD | 6 | CURDIR=$PWD |
7 | 7 | ||