gnuboot-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH v1 01/18] website: configure.ac: check for sed.


From: Denis 'GNUtoo' Carikli
Subject: [PATCH v1 01/18] website: configure.ac: check for sed.
Date: Sun, 13 Oct 2024 17:13:06 +0200

In the Makefile we have the following:
    index.html: index.html.tmpl
            sed -e "s#WEBSITE_PREFIX#$(WEBSITE_PREFIX)#g" "$^" > "$@"
so we need to make sure that 'sed' is available.

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
---
 website/configure.ac | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/website/configure.ac b/website/configure.ac
index 74d7326..3883d3a 100644
--- a/website/configure.ac
+++ b/website/configure.ac
@@ -90,6 +90,10 @@ AC_CHECK_PROG([FOUND_REALPATH], [realpath], [realpath])
 AS_IF([test x"$FOUND_REALPATH" = x""],
       [AC_MSG_ERROR([realpath was not found in PATH ($PATH)])])
 
+AC_CHECK_PROG([FOUND_SED], [sed], [sed])
+AS_IF([test x"$FOUND_SED" = x""],
+      [AC_MSG_ERROR([sed was not found in PATH ($PATH)])])
+
 AC_CHECK_PROG([FOUND_TAR], [tar], [tar])
 AS_IF([test x"$FOUND_TAR" = x""],
       [AC_MSG_ERROR([tar was not found in PATH ($PATH)])])
-- 
2.46.0




reply via email to

[Prev in Thread] Current Thread [Next in Thread]