diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3643,7 +3643,7 @@ fi | |||
3643 | 3643 | ||
3644 | 3644 | ||
3645 | if test "x$HAVE_GAWK" != "xyes"; then : | 3645 | if test "x$HAVE_GAWK" != "xyes"; then : |
3646 | as_fn_error $? "\"*** gawk not found ***\"" "$LINENO" 5 | 3646 | as_fn_error $? "*** gawk not found ***" "$LINENO" 5 |
3647 | fi | 3647 | fi |
3648 | 3648 | ||
3649 | fi | 3649 | fi |