echo "To: $MAILTO" ; \
echo "$PLDISTRO ($BASE) build for $FCDISTRO completed on $(date)" ; \
echo "See full build log at $WEBBASE_URL/log.txt" ; \
echo "To: $MAILTO" ; \
echo "$PLDISTRO ($BASE) build for $FCDISTRO completed on $(date)" ; \
echo "See full build log at $WEBBASE_URL/log.txt" ; \
### compute WEBHOST from TESTBUILDURL
# this is to avoid having to change the builds configs everywhere
### compute WEBHOST from TESTBUILDURL
# this is to avoid having to change the builds configs everywhere