diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/remotetest | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/remotetest b/tools/remotetest index 1e81f7e2c3..262749c810 100755 --- a/tools/remotetest +++ b/tools/remotetest @@ -211,11 +211,13 @@ then fi # run the build and tests +SET_ANT_OPTS='export ANT_OPTS="-XX:MaxPermSize=192M -Xmx1536m"; echo $ANT_OPTS' +echo "Set ant options command: $SET_ANT_OPTS" if [[ $LOGFILE != "" ]] then - ssh $USER@$LOCATION "cd $WORKREPO; ant test" + ssh $USER@$LOCATION "cd $WORKREPO; $SET_ANT_OPTS; ant test" else - ssh $USER@$LOCATION "cd $WORKREPO; ant test | tee -a $LOGFILE" + ssh $USER@$LOCATION "cd $WORKREPO; $SET_ANT_OPTS; ant test | tee -a $LOGFILE" fi success |