comparison: .lib/sh/stubexec.sh
.lib/sh/stubexec.sh
- changeset 915
- 55a1c83b3417
- child 932
- f87943eb16aa
equal
deleted
inserted
replaced
|
1 stubexec() { |
|
2 local real_bin="$(which -a $(basename $0) | grep -v $0 | head -n 1)" |
|
3 if [ -x "$real_bin" ]; then |
|
4 exec $real_bin $* |
|
5 fi |
|
6 } |