diff --git a/configure b/configure index 815e55bca5..bfcf977189 100755 --- a/configure +++ b/configure @@ -13397,7 +13397,7 @@ else #line 13398 "configure" #include "confdefs.h" - #include +#include int main() { @@ -13420,7 +13420,8 @@ else #line 13421 "configure" #include "confdefs.h" - #include + +#include int main() { @@ -13443,7 +13444,7 @@ else #line 13444 "configure" #include "confdefs.h" - #include +#include int main() { @@ -13551,7 +13552,7 @@ else #line 13552 "configure" #include "confdefs.h" - #include +#include int main() {