+ - 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;
+ fi
+ - if $make2; then
+ echo -e '+\057\057\057\057 MAKE OK';