Save compiler messages to config.log in configure

diff --git a/configure b/configure
index f7e0f832e3ebc51c4ca9cd2b1e92b800e6d1c0a7..1461997c68ff11c8789e6321ba2781f68fb7b55e 100755 (executable)
--- a/configure
+++ b/configure
@@ -8,7 +8,7 @@
 #
 # =======================================================================
 
-rm -f config.h
+rm -f config.h config.log
 
 # This configure script determines the operating system type and version
 
@@ -54,7 +54,13 @@ test_code () {
     echo "return 0; }"
   ) > docheck.c
 
-  $MYCC $MYCFLAGS $MYCPPFLAGS $cflags -o docheck docheck.c $ldflags $MYLDFLAGS >/dev/null 2>&1
+  echo "docheck.c:" >> config.log
+  cat docheck.c >> config.log
+  echo $MYCC $MYCFLAGS $MYCPPFLAGS $cflags -o docheck docheck.c $ldflags \
+    $MYLDFLAGS >> config.log
+  $MYCC $MYCFLAGS $MYCPPFLAGS $cflags -o docheck docheck.c $ldflags \
+    $MYLDFLAGS >> config.log 2>&1
+
   if [ $? -eq 0 ]
   then
     printf "Yes\n"
@@ -64,6 +70,7 @@ test_code () {
     result=1
   fi
   rm -f docheck.c docheck
+  echo >> config.log
   return $result
 }
 #}}}