diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-18 08:33:29 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-18 08:33:29 -0700 |
commit | 019f0c6d81b6979754563ecbf62a846c99823110 (patch) | |
tree | 2c9170d10374c1af812fa6f069f50ebc24c06622 /build.detach.xml | |
parent | fcf0776539d2aed3b6808f7a710e757f35621db4 (diff) | |
parent | 4d7069c7114b638c51b5b76cde467e6725294650 (diff) | |
download | scala-019f0c6d81b6979754563ecbf62a846c99823110.tar.gz scala-019f0c6d81b6979754563ecbf62a846c99823110.tar.bz2 scala-019f0c6d81b6979754563ecbf62a846c99823110.zip |
Merge pull request #934 from paulp/partest-timeout
Increase partest timeout and emit warning when it hits.
Diffstat (limited to 'build.detach.xml')
0 files changed, 0 insertions, 0 deletions