diff options
| author | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2010-11-10 16:21:28 +0000 |
|---|---|---|
| committer | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2010-11-10 16:21:28 +0000 |
| commit | a1b86a7e513f16f93aa2bc4294664f46bcac95d9 (patch) | |
| tree | 046312a0c1ecd9ff2670e853de3252da3f5e1b3a /tools | |
| parent | 29bd7715f70d90a381d794e00d26abebcbfdd263 (diff) | |
| download | scala-a1b86a7e513f16f93aa2bc4294664f46bcac95d9.tar.gz scala-a1b86a7e513f16f93aa2bc4294664f46bcac95d9.tar.bz2 scala-a1b86a7e513f16f93aa2bc4294664f46bcac95d9.zip | |
Added a benchmark for mutable hash sets.
No review.
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 |