| #!/bin/sh |
| if base=$(readlink "$0" 2>/dev/null); then |
| case $base in |
| /*) base=$(readlink -f "$0" 2>/dev/null);; # if $0 is abspath symlink, make symlink fully resolved. |
| *) base=$(dirname "$0")/"${base}";; |
| esac |
| else |
| case $0 in |
| /*) base=$0;; |
| *) base=${PWD:-`pwd`}/$0;; |
| esac |
| fi |
| basedir=${base%/*} |
| LD_ARGV0_REL="../bin/clippy-driver" exec "${basedir}/../lib/ld-linux-x86-64.so.2" --argv0 "$0" --library-path "${basedir}/../usr/lib:${basedir}/../usr/lib64/rust/rustlib/x86_64-unknown-linux-gnu/lib:${basedir}/../lib" --inhibit-rpath '' "${base}.elf" "$@" |
