diff --git a/configure.in b/configure.in index ab8159a8cad..5596c4c1e80 100644 --- a/configure.in +++ b/configure.in @@ -1316,11 +1316,10 @@ cat <