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) | |
download | gnunet-74fbae9ea3b3f3a59ce611429fd66074cbccfa45.tar.gz gnunet-74fbae9ea3b3f3a59ce611429fd66074cbccfa45.zip |
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 @@ | |||
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() |