Commits

Michael[tm] Smith  committed f5374c5

make build script exit(1) if JAVA_HOME is not set (b=439, thx=hieu.d.hoang)

  • Participants
  • Parent commits 7c9340e

Comments (0)

Files changed (1)

     downloadDependency(url, md5sum)
 
 def buildAll():
+  if 'JAVA_HOME' not in os.environ:
+    print "Error: The JAVA_HOME environment variable is not set."
+    print "Set the JAVA_HOME environment variable to the pathname of the directory where your JDK is installed."
+    sys.exit(1)
   buildJing()
   buildDatatypeLibrary()
   buildNonSchema()