summaryrefslogtreecommitdiff
path: root/other/travis/env-linux.sh
diff options
context:
space:
mode:
authoriphydf <iphydf@users.noreply.github.com>2016-10-24 16:06:09 +0100
committeriphydf <iphydf@users.noreply.github.com>2016-10-26 13:34:29 +0100
commitde966cdf90843819e2f7287e22ddcb5f95491b18 (patch)
tree2c92c01a69db30a9912581807a78cdeff974aa3c /other/travis/env-linux.sh
parent09c8575a7d93c8f9302330620f95645757ab276e (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.sh2
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
3CMAKE=cmake 3CMAKE=cmake
4CMAKE_EXTRA_FLAGS="" 4CMAKE_EXTRA_FLAGS="-DFORMAT_TEST=ON"
5NPROC=`nproc` 5NPROC=`nproc`
6CURDIR=$PWD 6CURDIR=$PWD
7 7