diff options
Diffstat (limited to 'java/module.xml')
| -rw-r--r-- | java/module.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/java/module.xml b/java/module.xml index e6bb5ba3eb..252871095a 100644 --- a/java/module.xml +++ b/java/module.xml @@ -200,12 +200,14 @@ <manifest file="${module.manifest}"> <attribute name="Main-Class" value="${module.main}"/> <attribute name="Class-Path" value="${module.manifest.classpath}"/> + <attribute name="X-Compile-Source-JDK" value="${module.vm.version}"/> </manifest> </target> <target name="manifest-lib" unless="module.main"> <manifest file="${module.manifest}"> <attribute name="Class-Path" value="${module.manifest.classpath}"/> + <attribute name="X-Compile-Source-JDK" value="${module.vm.version}"/> </manifest> </target> @@ -220,6 +222,10 @@ </and> </condition> + <condition property="module.vm.version" value="${module.vm.version}" else="1.4"> + <isset property="module.vm.version"/> + </condition> + <condition property="dist.destlib.dir" value="${dist.dest.dir}/${lib.dir}"> <isset property="dist.dest.dir"/> </condition> |