Properly report errors from make check in travis

This commit is contained in:
Jakub Jelen 2018-04-04 15:46:49 +02:00 committed by Frank Morgner
parent eb646dd370
commit 8a63103229
1 changed files with 1 additions and 2 deletions

View File

@ -85,8 +85,7 @@ script:
fi; fi;
fi fi
- if [ -z "$HOST" -a "${COVERITY_SCAN_BRANCH}" != 1 ]; then - if [ -z "$HOST" -a "${COVERITY_SCAN_BRANCH}" != 1 ]; then
make check; make check && make dist;
make dist;
fi fi
- if [ ! -z "$HOST" -a "${COVERITY_SCAN_BRANCH}" != 1 ]; then - if [ ! -z "$HOST" -a "${COVERITY_SCAN_BRANCH}" != 1 ]; then
make install; make install;