fix

Author: arcuri82

scripts/dist.py

@@ -29,7 +29,12 @@ def checkMavenVersion():
     match = re.search(MAVEN_VERSION_REGEX, mvn_path)
     if match == None:
         print("\nCannot determine mvn version from its path location: " + mvn_path)
-        exit(1)
+#        might happen depending on installation path... instead of crashing immediately,
+#        we try to build, as it might be the correct version... if not, it will fail anyway
+#  TODO ideally, should rather use "mvn -v" to determine the version number...
+#  although it would be bit tricky to implement (so not super important)
+        return True
+#         exit(1)
 
     mvn_txt = match.group()
     mvn_version = mvn_txt.split(".")