diff options
| author | Philipp Haller <hallerp@gmail.com> | 2008-07-08 17:55:14 +0000 |
|---|---|---|
| committer | Philipp Haller <hallerp@gmail.com> | 2008-07-08 17:55:14 +0000 |
| commit | 0c98435e630a3e0cee69b6fa2707056ecd1e4ec1 (patch) | |
| tree | 78ade184f805f3207e42bdf2f31f3680c000d815 /pull-binary-libs.sh | |
| parent | 3db2a5539bea0f20d67d664cf125de79c90f03a7 (diff) | |
| download | scala-0c98435e630a3e0cee69b6fa2707056ecd1e4ec1.tar.gz scala-0c98435e630a3e0cee69b6fa2707056ecd1e4ec1.tar.bz2 scala-0c98435e630a3e0cee69b6fa2707056ecd1e4ec1.zip | |
Added timeout option to invocation of partest t...
Added timeout option to invocation of partest task.
Diffstat (limited to 'pull-binary-libs.sh')
0 files changed, 0 insertions, 0 deletions