diff -Nru acl2-8.4dfsg/debian/changelog acl2-8.4dfsg/debian/changelog
--- acl2-8.4dfsg/debian/changelog	2021-10-28 17:26:09.000000000 +0000
+++ acl2-8.4dfsg/debian/changelog	2021-10-29 14:06:33.000000000 +0000
@@ -1,3 +1,9 @@
+acl2 (8.4dfsg-2) unstable; urgency=medium
+
+  * append make.log to build output
+
+ -- Camm Maguire <camm@debian.org>  Fri, 29 Oct 2021 14:06:33 +0000
+
 acl2 (8.4dfsg-1) unstable; urgency=medium
 
   * New upstream release
diff -Nru acl2-8.4dfsg/debian/rules acl2-8.4dfsg/debian/rules
--- acl2-8.4dfsg/debian/rules	2021-10-28 17:12:49.000000000 +0000
+++ acl2-8.4dfsg/debian/rules	2021-10-29 14:05:27.000000000 +0000
@@ -90,7 +90,7 @@
 #	gcl -batch -eval "(bye #-native-reloc 1)" || \
 #		(gcl -batch -eval '(load "debian/dlopen.lisp")' && $(MAKE) do_saved)
 #	gcl -batch -eval "(bye #+native-reloc 1)" || $(MAKE) GCL_ANSI=t LISP=gcl
-	$(MAKE) GCL_ANSI=t LISP=$(shell command -v gcl)
+	$(MAKE) GCL_ANSI=t LISP=$(shell command -v gcl) & j=$$! ; tail --retry -f make.log & k=$$! ; wait $$j ; kill $$k
 	mv *$@.gcl $@
 
 saved_acl2.c: saved_acl2