- - 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'; false;
- fi;
+ - if test -n "$GENERATE" && ! $make build_all_generated; then
+ echo -e '\052\052 FAILED -- MAKE BUILD_ALL_GENERATED';
+ travis_terminate 1;