casa-mp-base

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 "" > config.log 

   echo -n "" > config.make

   echo -n "" > config.h