Merge branch 'develop' into releases/Release_2_11_2_Branch

[jalview.git] / build.gradle

diff --git a/build.gradle b/build.gradle
index a62e85a..bde50b5 100644 (file)
--- a/build.gradle
+++ b/build.gradle
@@ -1640,6 +1640,7 @@ task createBuildProperties(type: WriteProperties) {
   property "BUILD_DATE", getDate("HH:mm:ss dd MMMM yyyy")
   property "VERSION", JALVIEW_VERSION
   property "INSTALLATION", INSTALLATION+" git-commit:"+gitHash+" ["+gitBranch+"]"
+  property "JAVA_COMPILE_VERSION", JAVA_INTEGER_VERSION
   if (getdownSetAppBaseProperty) {
     property "GETDOWNAPPBASE", getdownAppBase
     property "GETDOWNAPPDISTDIR", getdownAppDistDir