|
Lines 16-21
Link Here
|
| 16 |
bin=${vmpath}/bin/${tool} |
16 |
bin=${vmpath}/bin/${tool} |
| 17 |
jrebin=${vmpath}/jre/bin/${tool} |
17 |
jrebin=${vmpath}/jre/bin/${tool} |
| 18 |
|
18 |
|
|
|
19 |
# We should check that /proc is mounted. See: http://bugs.gentoo.org/165330 |
| 20 |
case `uname -s` in |
| 21 |
*Linux* ) |
| 22 |
if [ ! -d "/proc/self/" ] ; then |
| 23 |
echo "/proc is not mounted, do this: mount -t proc proc /proc" |
| 24 |
exit 1 |
| 25 |
fi |
| 26 |
;; |
| 27 |
esac |
| 28 |
|
| 19 |
vm_handle=$(basename ${vmpath}) |
29 |
vm_handle=$(basename ${vmpath}) |
| 20 |
if [[ -x ${bin} ]]; then |
30 |
if [[ -x ${bin} ]]; then |
| 21 |
exec ${bin} "${@}" |
31 |
exec ${bin} "${@}" |
