~damien/jedit-lsp

208bab2418dd51e3afba6d2248dfd9c25d47d4e3 — Damien Radtke 10 months ago 900a9b1
Create build.properties if it doesn't exist yet
1 files changed, 6 insertions(+), 0 deletions(-)

M ant
M ant => ant +6 -0
@@ 4,6 4,12 @@
# newer than 11.
#

dir="$(dirname "${BASH_SOURCE[0]}")"

if [[ ! -f "${dir}/build.properties" ]]; then
	cp "${dir}/build.properties.sample" "${dir}/build.properties"
fi

if [[ -d /usr/lib64/jvm/jre-11-openjdk/ ]]; then
	export JAVA_HOME=/usr/lib64/jvm/jre-11-openjdk/
elif [[ -d /opt/homebrew/opt/openjdk@11/ ]]; then