[m-rev.] patch: Don't pack scripts/config.log in source tarballs

[Paul Bone]

Don't pack scripts/config.log in source tarballs

Mmakefile:
    Delete this file before making the source tarball.

scripts/Mmakefile:
    Delete this file in make realclean

---
 Mmakefile         | 1 +
 scripts/Mmakefile | 1 +
 2 files changed, 2 insertions(+)

diff --git a/Mmakefile b/Mmakefile
index 7f255b2b5..d7fb72b12 100644
--- a/Mmakefile
+++ b/Mmakefile
@@ -493,6 +493,7 @@ tar: 	$(GENERATED_DOCS)
 	cd doc && mmake distclean
 	-rm -f errs errs2 update.log
 	-rm -f config.status config.cache config.log configure.log a.out
+	-rm -f scripts/config.log
 	-rm -f runtime/mercury_conf.h boehm_gc/mercury_boehm_gc_conf.h
 	-rm -f Mmake.common
 	-rm -f extras/Mmake.params
diff --git a/scripts/Mmakefile b/scripts/Mmakefile
index 0ba70e529..cb376273d 100644
--- a/scripts/Mmakefile
+++ b/scripts/Mmakefile
@@ -203,5 +203,6 @@ realclean_local: clean_scripts
 clean_scripts:
 	for file in *.in; do rm -f `basename $$file .in`; done
 	rm -f test_mdbrc
+	rm -f config.log
 
 #-----------------------------------------------------------------------------#
-- 
2.17.1