diff options
Diffstat (limited to 'Master/bin/armhf-linux')
-rwxr-xr-x | Master/bin/armhf-linux/tlcockpit | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/Master/bin/armhf-linux/tlcockpit b/Master/bin/armhf-linux/tlcockpit deleted file mode 100755 index 1b24959acd5..00000000000 --- a/Master/bin/armhf-linux/tlcockpit +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh - -kernel=`uname -s` -if test "${kernel#*CYGWIN}" != "$kernel" -then - jarpath=`cygpath -w $(kpsewhich --progname=tlcockpit --format=texmfscripts tlcockpit.jar)` -else - jarpath=`kpsewhich --progname=tlcockpit --format=texmfscripts tlcockpit.jar` -fi -java -jar "$jarpath" |