summaryrefslogtreecommitdiff
path: root/Build/source
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source')
-rwxr-xr-xBuild/source/texk/texlive/linked_scripts/tlcockpit/tlcockpit.sh10
1 files changed, 7 insertions, 3 deletions
diff --git a/Build/source/texk/texlive/linked_scripts/tlcockpit/tlcockpit.sh b/Build/source/texk/texlive/linked_scripts/tlcockpit/tlcockpit.sh
index 56333fb47b4..1b2e8d9cb04 100755
--- a/Build/source/texk/texlive/linked_scripts/tlcockpit/tlcockpit.sh
+++ b/Build/source/texk/texlive/linked_scripts/tlcockpit/tlcockpit.sh
@@ -1,8 +1,12 @@
-#!/bin/sh
-# Public domain. Originally written by Norbert Preining and Karl Berry, 2018.
+#!/bin/bash
+# Public domain. Originally written by Norbert Preining and Karl Berry, 2018-2019.
scriptname=`basename "$0"`
-jar="$scriptname.jar"
+javaVersion=$(java -version 2>&1 | head -1)
+case "$javaVersion" in
+ *"1.8"*) jar="$scriptname-jdk8".jar ;;
+ *) jar="$scriptname.jar" ;;
+esac
jarpath=`kpsewhich --progname="$scriptname" --format=texmfscripts "$jar"`
kernel=`uname -s 2>/dev/null`