diff options
-rwxr-xr-x | bootstrap | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -18,6 +18,17 @@ cleanup() | |||
18 | rm -rf libltdl | 18 | rm -rf libltdl |
19 | } | 19 | } |
20 | 20 | ||
21 | errmsg='' | ||
22 | |||
23 | # Check if shell supports builtin 'type'. | ||
24 | if test -z "$errmsg"; then | ||
25 | if ! (eval 'type type') >/dev/null 2>&1 | ||
26 | then | ||
27 | errmsg='Shell does not support type builtin' | ||
28 | exit 1 | ||
29 | fi | ||
30 | fi | ||
31 | |||
21 | # This is more portable than `which' but comes with | 32 | # This is more portable than `which' but comes with |
22 | # the caveat of not(?) properly working on busybox's ash: | 33 | # the caveat of not(?) properly working on busybox's ash: |
23 | existence() | 34 | existence() |