aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbootstrap10
1 files changed, 8 insertions, 2 deletions
diff --git a/bootstrap b/bootstrap
index 073308c43..e2654d9bd 100755
--- a/bootstrap
+++ b/bootstrap
@@ -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:
17existence() 23existence()
18{ 24{
19 command -v "$1" >/dev/null 2>&1 25 type "$1" >/dev/null 2>&1
20} 26}
21 27
22check_uncrustify() 28check_uncrustify()