diff options
| author | Lukas Rytz <lukas.rytz@gmail.com> | 2016-02-03 11:20:05 +0100 |
|---|---|---|
| committer | Stefan Zeiger <szeiger@novocode.com> | 2016-02-17 18:22:13 +0100 |
| commit | e606e3054a2d872135b6409f43291d5746a48cf1 (patch) | |
| tree | 3cc015dc4f3e82652bf0820ec4e7b3dcc9b309d2 /build.xml | |
| parent | fdbf59d345ca5141f935773e80bece6889f42401 (diff) | |
| download | scala-e606e3054a2d872135b6409f43291d5746a48cf1.tar.gz scala-e606e3054a2d872135b6409f43291d5746a48cf1.tar.bz2 scala-e606e3054a2d872135b6409f43291d5746a48cf1.zip | |
Update partest to 1.0.12, test case for reporting invalid flags
Conflicts:
test/files/pos/t3420.flags
versions.properties
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -535,6 +535,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"/> |