comparison: .lib/sh/stubexec.sh
.lib/sh/stubexec.sh
- changeset 995
- ef237971026b
- parent 992
- 4e3e37ce84bc
- child 1002
- 8284b9cac608
equal
deleted
inserted
replaced
| 994:d8f003e828e1 | 995:ef237971026b |
|---|---|
| 28 } | 28 } |
| 29 | 29 |
| 30 stubexec() { | 30 stubexec() { |
| 31 local real_bin="$(realbin "$0")" | 31 local real_bin="$(realbin "$0")" |
| 32 if [ -x "$real_bin" ]; then | 32 if [ -x "$real_bin" ]; then |
| 33 exec "$real_bin" $* | 33 exec "$real_bin" "$@" |
| 34 fi | 34 fi |
| 35 install_it | 35 install_it |
| 36 stubexec $* | 36 stubexec "$@" |
| 37 } | 37 } |
| 38 | 38 |
| 39 stubexec "$@" | 39 stubexec "$@" |
