[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet] 03/03: -fix
From: |
gnunet |
Subject: |
[gnunet] 03/03: -fix |
Date: |
Thu, 21 Sep 2023 19:34:57 +0200 |
This is an automated email from the git hooks/post-receive script.
martin-schanzenbach pushed a commit to branch master
in repository gnunet.
commit 0831658049e3046294b3cdb5c25b1a8bf56a100c
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Thu Sep 21 19:34:01 2023 +0200
-fix
---
meson-dist-script | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/meson-dist-script b/meson-dist-script
index 08b340fe0..dbc3e0ba8 100644
--- a/meson-dist-script
+++ b/meson-dist-script
@@ -2,6 +2,13 @@
set -eu
+# This is more portable than `which' but comes with
+# the caveat of not(?) properly working on busybox's ash:
+existence()
+{
+ type "$1" >/dev/null 2>&1
+}
+
cd "${MESON_DIST_ROOT}"
echo "Updating handbook..."
if existence sphinx-build; then
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.