diff --git a/build/build.xml b/build/build.xml index 31e0720e5..2f761e3b3 100644 --- a/build/build.xml +++ b/build/build.xml @@ -508,6 +508,7 @@ shortVersion="${version}" version="${revision}" mainClassName="processing.app.ui.Splash" + jvmRequired="${jdk.train}" minimumSystemVersion="10.14.6"> @@ -665,7 +666,8 @@ - + @@ -684,7 +686,8 @@ - +