diff options
| author | Lukas Rytz <lukas.rytz@gmail.com> | 2016-02-03 11:20:05 +0100 |
|---|---|---|
| committer | Lukas Rytz <lukas.rytz@gmail.com> | 2016-02-03 17:32:00 +0100 |
| commit | 3d7ff96bd9f637d37e9ce2922cb5140feedc8ae3 (patch) | |
| tree | 525df2573ace344ede435282cd89fae1a7243af1 /build.xml | |
| parent | 6ecb997fa8eb305bf547ec8a6106ba2fd777a594 (diff) | |
| download | scala-3d7ff96bd9f637d37e9ce2922cb5140feedc8ae3.tar.gz scala-3d7ff96bd9f637d37e9ce2922cb5140feedc8ae3.tar.bz2 scala-3d7ff96bd9f637d37e9ce2922cb5140feedc8ae3.zip | |
Update partest to 1.0.12, test case for reporting invalid flags
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -483,6 +483,8 @@ TODO: <property name="scalac.args.quick" value="${scalac.args.all}"/> <property name="scalac.args.strap" value="${scalac.args.quick}"/> + <property name="partest.scalac_opts" value=""/> <!-- set default value, otherwise the property name will be passed to partest if undefined --> + <!-- This is the start time for the distribution --> <tstamp prefix="time"> <format property="human" pattern="d MMMM yyyy, HH:mm:ss" locale="en,US"/> |