+ if [ -e krb5/src ]; then
+ sudo apt-get -yq install bison dejagnu gettext keyutils ldap-utils libldap2-dev libkeyutils-dev python-cjson python-paste python-pyrad slapd tcl-dev tcsh;
+ fi;
+ if HARNESS_VERBOSE=yes BORING_RUNNER_DIR=$top/boringssl/ssl/test/runner make test; then
+ echo -e '+\057\057\057\057\057 MAKE TEST OK';
+ else
+ echo -e '+\057\057\057\057\057 MAKE TEST FAILED';
+ travis_terminate 1;
+ fi;
+ else
+ if $make build_tests >~/build.log 2>&1; then
+ echo -e '+\057\057\057\057\057\057 MAKE BUILD_TESTS OK';
+ else
+ echo -e '+\057\057\057\057\057\057 MAKE BUILD_TESTS FAILED';
+ cat ~/build.log
+ travis_terminate 1;
+ fi;
+ fi
+ - if [ -n "$DESTDIR" ]; then
+ mkdir "$top/$DESTDIR";
+ if $make install DESTDIR="$top/$DESTDIR" >~/install.log 2>&1 ; then
+ echo -e '+\057\057\057\057\057\057\057 MAKE INSTALL OK';
+ else
+ echo -e '+\057\057\057\057\057\057\057 MAKE INSTALL FAILED';
+ cat ~/install.log;
+ travis_terminate 1;
+ fi;