diff --git a/configure b/configure index ebb7bdd87..73ac27d68 100755 --- a/configure +++ b/configure @@ -852,6 +852,9 @@ cat > $test.c <