diff -r 37f1a08315f3 -r 282e7d2bb28a config.log
--- a/config.log	Sun Aug 05 11:32:13 2018 +0200
+++ b/config.log	Tue Aug 07 16:42:49 2018 +0200
@@ -357,9 +357,11 @@
 
 on seaport
 
-config.status:816: creating Makefile.global
-config.status:816: creating config.h
-configure:5172: result:
+config.status:817: creating Makefile.global
+config.status:817: creating www/version.php
+config.status:817: creating config.h
+config.status:987: config.h is unchanged
+configure:5173: result:
 -=-=-=-=-=-=-=-=-=-= Configuration Complete =-=-=-=-=-=-=-=-=-=-
 
   Configuration summary :