Merge branch 'develop' into bug/JAL-3753_resources_duplicated_in_jalview_jar

[jalview.git] / build.gradle

diff --git a/build.gradle b/build.gradle
index 072a7b4..789aaea 100644 (file)
--- a/build.gradle
+++ b/build.gradle
@@ -111,7 +111,7 @@ ext {
   }
   ////
   // Set JALVIEW_VERSION if it is not already set
-  if (findProperty(JALVIEW_VERSION)==null || "".equals(JALVIEW_VERSION)) {
+  if (findProperty("JALVIEW_VERSION")==null || "".equals(JALVIEW_VERSION)) {
     JALVIEW_VERSION = releaseProps.get("jalview.version")
   }