diff options
author | Austin English <austinenglish@gmail.com> | 2018-12-03 13:53:14 -0600 |
---|---|---|
committer | William Hubbs <w.d.hubbs@gmail.com> | 2018-12-03 15:26:42 -0600 |
commit | fb4dd351c7ef2614076309d630e163ff963ac8bf (patch) | |
tree | a79946e1cd5829dd2c5c46a57c9532b93969474c /test | |
parent | 10dc65cc46e4f16f1b1f9822f3b687f2e58e4b40 (diff) |
misc: make checks always fatal
This fixes #263.
Diffstat (limited to 'test')
-rwxr-xr-x | test/travis.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/travis.sh b/test/travis.sh index 8b49431b..9626894c 100755 --- a/test/travis.sh +++ b/test/travis.sh @@ -20,6 +20,4 @@ cpus=$(getconf _NPROCESSORS_CONF || echo 1) # make on TravisCI doesn't support -O yet make -j"${cpus}" -# This make whitespace/etc. checks fatal. -export FATAL_CHECKS=1 make test |