<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">Don't truncate config.log when configuration is successful.
--- config/functions.orig	2019-10-07 10:55:57.000000000 -0500
+++ config/functions	2019-10-07 10:55:57.000000000 -0500
@@ -240,7 +240,6 @@
 #
 save () {
   # initilize the config files
-  echo -n "" &gt; config.log 
   echo -n "" &gt; config.make
   echo -n "" &gt; config.h
 
</pre></body></html>