diff --git a/autogen/configure b/autogen/configure index 3c53c7f1538..e771c7fd0f7 100755 --- a/autogen/configure +++ b/autogen/configure @@ -23380,8 +23380,6 @@ done - - if test $gl_cv_have_include_next = yes; then