aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
-rw-r--r--build/local.properties12
2 files changed, 12 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index bc019041f..8aefe0104 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,2 @@
*/bin
aj-build/
-build/local.properties
diff --git a/build/local.properties b/build/local.properties
new file mode 100644
index 000000000..d7807d804
--- /dev/null
+++ b/build/local.properties
@@ -0,0 +1,12 @@
+# for non-release builds, versions should all be DEVELOPMENT
+# except for build.version.base
+build.version=1.8.0.M1
+build.version.base=1.8
+build.version.long=1.8.0.M1
+build.version.short=1.8.0.M1
+# Repo version is for maven (as built with 'ant repo')
+repo.version=1.6.4
+java11.home=c:/home/apps/jdk11
+java13.home=c:/home/apps/jdk13
+java14.home=c:/home/apps/jdk14
+java15.home=c:/home/apps/jdk15