4 Commits

Author	SHA1	Message	Date
Bo Anderson	cd0c3fa835	extend/pathname: use Java.overridable_java_home_env in write_jar_script	2020-06-19 12:04:30 +01:00
Alexander Bayandin	4d27c32d44	Revert "Merge pull request #7722 from Bo98/java-improvements" ... This reverts commit 91b4d450703bcc2de6dce22eb5fdecb5a843f92e, reversing changes made to c98901132595178b6261cbe2d51ab732dd77dac4.	2020-06-18 12:23:02 +01:00
Bo Anderson	07547e8cae	extend/pathname: use Java.overridable_java_home_env in write_jar_script	2020-06-10 17:08:41 +01:00
Bo Anderson	d56c6b31a0	language/java: deprecate java_home_cmd	2020-06-10 15:11:56 +01:00