1 files changed, 1 insertions, 1 deletions

diff --git a/configure b/configure
index a430d2629..ba553102d 100755
--- a/configure
+++ b/configure
@@ -3643,7 +3643,7 @@ fi
 
 
         if test "x$HAVE_GAWK" != "xyes"; then :
-  as_fn_error $? "\"*** gawk not found ***\"" "$LINENO" 5
+  as_fn_error $? "*** gawk not found ***" "$LINENO" 5
 fi
 
 fi