From a1b86a7e513f16f93aa2bc4294664f46bcac95d9 Mon Sep 17 00:00:00 2001
From: Aleksandar Pokopec <aleksandar.prokopec@epfl.ch>
Date: Wed, 10 Nov 2010 16:21:28 +0000
Subject: Added a benchmark for mutable hash sets.

No review.
---
 tools/remotetest | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'tools/remotetest')

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
 
-- 
cgit v1.2.3