+ 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 MAKE TEST OK';
+ else
+ echo -e '+\057\057\057\057 MAKE TEST FAILED'; false;
+ fi;
+ else
+ if $make build_tests; then
+ echo -e '+\057\057\057\057\057 MAKE BUILD_TESTS OK';
+ else
+ echo -e '+\057\057\057\057\057 MAKE BUILD_TESTS FAILED'; false;
+ fi;
+ fi
+ - if [ -n "$DESTDIR" ]; then
+ mkdir "$top/$DESTDIR";
+ if $make install install_docs DESTDIR="$top/$DESTDIR"; then
+ echo -e '+\057\057\057\057\057\057 MAKE INSTALL OK';
+ else
+ echo -e '+\057\057\057\057\057\057 MAKE INSTALL FAILED'; false;
+ fi;