From 43cff1a90af236958347223708b76831656ea44b Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
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 <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
-- 
1.8.3.1