debian: Check for gawk.

diff --git a/configure.ac b/configure.ac
index 1e748ab..5d3ddd3 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -92,6 +92,11 @@ AC_CHECK_HEADER([ext2fs/ext2fs.h],[],[
   AC_MSG_FAILURE([Header <ext2fs/ext2fs.h> 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