GNUBoot/gnuboot
GNUBoot
/
gnuboot
mirror of https://git.savannah.gnu.org/git/gnuboot.git
2
1
Fork 0
Code Issues Releases Activity

website: configure.ac: check for sed. 

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>
This commit is contained in:
Denis 'GNUtoo' Carikli 2024-09-27 02:10:01 +02:00
parent bf2b91df54
commit 1bfead41b5
Signed by: GNUtoo
GPG Key ID: 5F5DFCC14177E263
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
website/configure.ac
View File

@ -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)])])