#!/bin/bash -e if [ "x${ghprbPullId}" == "x" ] then exit 1 fi ant -Djava.net.preferIPv4Stack=true -Dplatform=linux64 -Dlinux64=1 clean build test ERRORS=`grep '