echo "$PLDISTRO ($BASE) build for $FCDISTRO completed on $(date)" ; \
echo "see build results at $WEBBASE_URL" ; \
echo "including full build log at $WEBBASE_URL/log.txt" ; \
[ -n "$DO_TEST" ] && echo "and complete test logs at $WEBBASE_URL/testlogs" ; \
[ -n "$IGNORED" ] && echo "WARNING: some tests steps failed but were ignored - see trace file" ; \
echo "BUILD TIME: begin $BUILD_BEG -- end $BUILD_END -- duration $(pretty_duration $(($BUILD_END_S-$BUILD_BEG_S)))" ; \
echo "$PLDISTRO ($BASE) build for $FCDISTRO completed on $(date)" ; \
echo "see build results at $WEBBASE_URL" ; \
echo "including full build log at $WEBBASE_URL/log.txt" ; \
[ -n "$DO_TEST" ] && echo "and complete test logs at $WEBBASE_URL/testlogs" ; \
[ -n "$IGNORED" ] && echo "WARNING: some tests steps failed but were ignored - see trace file" ; \
echo "BUILD TIME: begin $BUILD_BEG -- end $BUILD_END -- duration $(pretty_duration $(($BUILD_END_S-$BUILD_BEG_S)))" ; \