diff options
| author | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2010-10-28 12:09:52 +0000 |
|---|---|---|
| committer | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2010-10-28 12:09:52 +0000 |
| commit | e9b61ff9fc769fd94f427902ec0a65ee23db6b85 (patch) | |
| tree | 10851e95fb0ff1eed4949b5ff241b036e1035b57 /tools | |
| parent | f388aaaf52dab4ceaf8e5f26c72eb4a0d1d3b3e7 (diff) | |
| download | scala-e9b61ff9fc769fd94f427902ec0a65ee23db6b85.tar.gz scala-e9b61ff9fc769fd94f427902ec0a65ee23db6b85.tar.bz2 scala-e9b61ff9fc769fd94f427902ec0a65ee23db6b85.zip | |
Some serious bugfixes in parallel hash tables.
No review.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/remotetest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/remotetest b/tools/remotetest index 262749c810..94eb731e68 100755 --- a/tools/remotetest +++ b/tools/remotetest @@ -71,7 +71,7 @@ function help() echo echo "> tools/remotetest --all jack server.url.com ~jack/git-repos-dir/scala ~jack/tmp-build-dir/scala" echo - echo "Optionally, build and test results will be saved into the logfile on the server (an additional, last argument)." + echo "Optionally, build and test results will be saved into the logfile on the server (an additional, last argument). Be aware that problems arise should you push an ammended commit over a previously pushed commit - this has nothing to do with this script per se." echo echo "Complete argument list:" echo " --help prints this help" |