diff options
| author | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2014-01-21 11:39:51 +0100 |
|---|---|---|
| committer | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2014-01-21 11:39:51 +0100 |
| commit | 008694f552719695756e33d5855e07add0735a34 (patch) | |
| tree | 4baa7932f86f2828279d6c53afda6a1c78b9cf74 /build.xml | |
| parent | 8f6f4032b5c026fd9301cebe28dde5bb7c8e264c (diff) | |
| download | scala-008694f552719695756e33d5855e07add0735a34.tar.gz scala-008694f552719695756e33d5855e07add0735a34.tar.bz2 scala-008694f552719695756e33d5855e07add0735a34.zip | |
Add support for Java 8 in our build.
We explicitly check for supported Java versions in our build.
Add Java 8 to the list of supported versions.
Diffstat (limited to 'build.xml')
| -rwxr-xr-x | build.xml | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -411,8 +411,12 @@ TODO: <condition property="has.java7"> <equals arg1="${ant.java.version}" arg2="1.7"/> </condition> + <condition property="has.java8"> + <equals arg1="${ant.java.version}" arg2="1.8"/> + </condition> <condition property="has.unsupported.jdk"> <not><or> + <isset property="has.java8" /> <isset property="has.java7" /> <isset property="has.java6" /> </or></not> |