summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-11-27 21:52:55 +0000
committerng0 <ng0@n0.is>2019-11-27 21:52:55 +0000
commit74fbae9ea3b3f3a59ce611429fd66074cbccfa45 (patch)
treeb568ddcfd1c9c874843ce4b78cb0294aa550cd88
parentf6d13407fa22dcb8585bf261de8ebd4d0720e482 (diff)
bootstrap: builtin type might be supported better
(or maybe they are equal)
-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 @@
#!/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()