]> rtime.felk.cvut.cz Git - orte.git/commitdiff
projects / orte.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 469582e)
JORTE: update required Java API version
authorMartin Vajnar <martin@martin-HP-ProBook-4330s.(none)>
Thu, 11 Jul 2013 12:52:39 +0000 (14:52 +0200)
committerPavel Pisa <pisa@cmp.felk.cvut.cz>
Mon, 23 Sep 2013 09:06:25 +0000 (11:06 +0200)
orte/java/build.xml patch | blob | history

diff --git a/orte/java/build.xml b/orte/java/build.xml
index 3ea9c55d4d111760ba909e26115663372c6ee49c..8139e7c920f5c12f9e0381ef00ccb76065c1c1f6 100644 (file)
--- a/orte/java/build.xml
+++ b/orte/java/build.xml
@@ -38,7 +38,7 @@
     <target name="compile-orte" depends="prepare-compile">
         <javac srcdir="${src}" destdir="${class}"
             classpath=""
-            source="1.4"
+            source="1.5"
             debug="true"
             optimize="false"
             />
Mirror of ORTE from Git on SourceForge. ORTE is open-source implementation of real-time publish-subscribe protocol.