diff --git a/configure.in b/configure.in index 28ad949676a..a8b451ddb85 100644 --- a/configure.in +++ b/configure.in @@ -1311,8 +1311,10 @@ cat<