blob: 4704b8a747e7a1d126f611cc3599955b48c7574c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
dita-ot requires java 17 or higher.
Set JAVA_HOME accordingly.
--- a/bin/dita
+++ b/bin/dita
@@ -20,6 +20,9 @@
# See the License for the specific language governing permissions and
# limitations under the License.
+eval "$(gjl -v -p dita-ot-bin)"
+JAVA_HOME=$(java-config-2 --select-vm "${gjl_vm}" -g JAVA_HOME)
+
# Extract launch and ant arguments, (see details below).
ant_exec_args=
for arg in "$@" ; do
|
