[gnunet] 01/03: bootstrap: builtin type might be supported better

[gnunet]

This is an automated email from the git hooks/post-receive script.

ng0 pushed a commit to branch master
in repository gnunet.

commit 74fbae9ea3b3f3a59ce611429fd66074cbccfa45
Author: ng0 <address@hidden>
AuthorDate: Wed Nov 27 21:52:55 2019 +0000

    bootstrap: builtin type might be supported better
    
    (or maybe they are equal)
---
 bootstrap | 10 ++++++++--
 1 file 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()

-- 
To stop receiving notification emails like this one, please contact
address@hidden.