From 43cff1a90af236958347223708b76831656ea44b Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 21 Jul 2011 08:32:54 +0100 Subject: [PATCH] debian: Check for gawk. --- configure.ac | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/configure.ac b/configure.ac index 1e748ab..5d3ddd3 100644 --- a/configure.ac +++ b/configure.ac @@ -92,6 +92,11 @@ AC_CHECK_HEADER([ext2fs/ext2fs.h],[],[ AC_MSG_FAILURE([Header not found (part of e2fsprogs)]) ]) +AC_CHECK_PROG(GAWK,[gawk],[gawk],[no]) +if test "x$GAWK" = "xno" ; then + AC_MSG_FAILURE([gawk (GNU awk) not found]) +fi + AC_CONFIG_HEADERS([config.h]) AC_CONFIG_FILES([config.ml debian/changelog -- 1.8.3.1