diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/remotetest | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/tools/remotetest b/tools/remotetest index 15b7f2dc02..fb89794c30 100755 --- a/tools/remotetest +++ b/tools/remotetest @@ -221,12 +221,7 @@ 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; $SET_ANT_OPTS; ant test" -else - ssh $USER@$LOCATION "cd $WORKREPO; $SET_ANT_OPTS; ant test | tee -a $LOGFILE" -fi +ssh $USER@$LOCATION "cd $WORKREPO; $SET_ANT_OPTS; ant nightly | tee -a $LOGFILE" success |