diff options
| author |  Reiner Herrmann <reiner@reiner-h.de> | 2020-10-10 21:05:59 +0200 |
|---|---|---|
| committer | Reiner Herrmann <reiner@reiner-h.de> | 2020-10-10 21:07:11 +0200 |
| commit | 7fb7e4227ee756387f3f038ec2bbc8b844664a60 (patch) | |
| tree | d70dd3e387bff26bca47a39eb2619e0b1a8d58cd /configure.ac | |
| parent | Merge pull request #3660 from kris7t/apparmor-run (diff) | |
| download | firejail-7fb7e4227ee756387f3f038ec2bbc8b844664a60.tar.gz firejail-7fb7e4227ee756387f3f038ec2bbc8b844664a60.tar.zst firejail-7fb7e4227ee756387f3f038ec2bbc8b844664a60.zip | |
build: check for presence of gawk when manpages will be built
Fixes: #3661
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 4ba1a8ae6..45f7c6207 100644 --- a/configure.ac +++ b/configure.ac | |||
| @@ -80,6 +80,8 @@ AC_ARG_ENABLE([man], | |||
| 80 | AS_IF([test "x$enable_man" != "xno"], [ | 80 | AS_IF([test "x$enable_man" != "xno"], [ |
| 81 | HAVE_MAN="-DHAVE_MAN" | 81 | HAVE_MAN="-DHAVE_MAN" |
| 82 | AC_SUBST(HAVE_MAN) | 82 | AC_SUBST(HAVE_MAN) |
| 83 | AC_CHECK_PROG([HAVE_GAWK], [gawk], [yes], [no]) | ||
| 84 | AS_IF([test "x$HAVE_GAWK" != "xyes"], [AC_MSG_ERROR("*** gawk not found ***")]) | ||
| 83 | ]) | 85 | ]) |
| 84 | 86 | ||
| 85 | HAVE_FIRETUNNEL="" | 87 | HAVE_FIRETUNNEL="" |