diff options
author | ng0 <ng0@n0.is> | 2019-11-27 21:52:55 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-11-27 21:52:55 +0000 |
commit | 74fbae9ea3b3f3a59ce611429fd66074cbccfa45 (patch) | |
tree | b568ddcfd1c9c874843ce4b78cb0294aa550cd88 /bootstrap | |
parent | f6d13407fa22dcb8585bf261de8ebd4d0720e482 (diff) |
bootstrap: builtin type might be supported better
(or maybe they are equal)
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -1,6 +1,12 @@ #!/bin/sh +# +# We should use /usr/bin/env sh, but some systems are notoriously picky. +# In fact we could ommit this line if some automations wouldn't rely on +# running this file via ./bootstrap. +# # This file is in the public domain. - +# SPDX-License-Identifier: 0BSD +# # We can't set -eu because we encounter warnings which # result in stops, whereas the warnings can for now be # safely ignored. @@ -16,7 +22,7 @@ cleanup() # the caveat of not(?) properly working on busybox's ash: existence() { - command -v "$1" >/dev/null 2>&1 + type "$1" >/dev/null 2>&1 } check_uncrustify() |