diff options
| -rwxr-xr-x | autogen/configure | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/autogen/configure b/autogen/configure index 3c53c7f1538..e771c7fd0f7 100755 --- a/autogen/configure +++ b/autogen/configure | |||
| @@ -23382,8 +23382,6 @@ done | |||
| 23382 | 23382 | ||
| 23383 | 23383 | ||
| 23384 | 23384 | ||
| 23385 | |||
| 23386 | |||
| 23387 | if test $gl_cv_have_include_next = yes; then | 23385 | if test $gl_cv_have_include_next = yes; then |
| 23388 | gl_cv_next_sys_stat_h='<'sys/stat.h'>' | 23386 | gl_cv_next_sys_stat_h='<'sys/stat.h'>' |
| 23389 | else | 23387 | else |