else
echo -e '+\057 MAKE UPDATE FAILED'; false;
fi;
- git diff --quiet
+ git diff --exit-code
- if [ -n "$CHECKDOCS" ]; then
if $make doc-nits; then
echo -e '+\057\057 MAKE DOC-NITS OK';
after_success:
- if [ -n "$COVERALLS" ]; then
- coveralls -b . --gcov gcov-5 --gcov-options '\-lp';
+ coveralls -b . --gcov gcov-5 --gcov-options '\-lpbc';
fi;
notifications: