+ - if $make update; then
+ echo -e '+\057 MAKE UPDATE OK';
+ else
+ echo -e '+\057 MAKE UPDATE FAILED';
+ travis_terminate 1;
+ fi
+ - git diff --exit-code
+ - if [ -n "$CHECKDOCS" ]; then
+ if $make doc-nits; then
+ echo -e '+\057\057 MAKE DOC-NITS OK';
+ else
+ echo -e '+\057\057 MAKE DOC-NITS FAILED';
+ travis_terminate 1;
+ fi;
+ fi
+ - if [ -n "$GENERATE" ]; then
+ if $make build_all_generated; then
+ echo -e '+\057\057\057 MAKE BUILD_ALL_GENERATED OK';
+ else
+ echo -e '+\057\057\057 MAKE BUILD_ALL_GENERATED FAILED';
+ travis_terminate 1;
+ fi;
+ fi
+ - if $make2; then
+ echo -e '+\057\057\057\057 MAKE OK';
+ else
+ echo -e '+\057\057\057\057 MAKE FAILED';
+ travis_terminate 1;
+ fi;