diff options
-rwxr-xr-x | bootstrap | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -1,6 +1,12 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | # | ||
3 | # We should use /usr/bin/env sh, but some systems are notoriously picky. | ||
4 | # In fact we could ommit this line if some automations wouldn't rely on | ||
5 | # running this file via ./bootstrap. | ||
6 | # | ||
2 | # This file is in the public domain. | 7 | # This file is in the public domain. |
3 | 8 | # SPDX-License-Identifier: 0BSD | |
9 | # | ||
4 | # We can't set -eu because we encounter warnings which | 10 | # We can't set -eu because we encounter warnings which |
5 | # result in stops, whereas the warnings can for now be | 11 | # result in stops, whereas the warnings can for now be |
6 | # safely ignored. | 12 | # safely ignored. |
@@ -16,7 +22,7 @@ cleanup() | |||
16 | # the caveat of not(?) properly working on busybox's ash: | 22 | # the caveat of not(?) properly working on busybox's ash: |
17 | existence() | 23 | existence() |
18 | { | 24 | { |
19 | command -v "$1" >/dev/null 2>&1 | 25 | type "$1" >/dev/null 2>&1 |
20 | } | 26 | } |
21 | 27 | ||
22 | check_uncrustify() | 28 | check_uncrustify() |