diff options
| -rwxr-xr-x | src/run-java-tool | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/run-java-tool b/src/run-java-tool deleted file mode 100755 index 35a007c..0000000 --- a/src/run-java-tool +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/bash - -if [[ -n ${GENTOO_VM} ]]; then - execme=/usr/share/java-config/vms/${GENTOO_VM}/ -elif [[ -d ${HOME}/.gentoo/user-vm ]]; then - execme=${HOME}/.gentoo/user-vm/ -else - execme=/usr/share/java-config/vms/system-vm/ -fi - -exec ${execme}/$(basename $0) |