diff --git a/configure.in b/configure.in index 19eabed3..cb684414 100644 --- a/configure.in +++ b/configure.in @@ -838,7 +838,7 @@ if test "$enable_python" = "yes"; then cat <