make/Init.gmk
changeset 40621 c55ef7ed9aa0
parent 37649 3809534d4531
child 41458 f285e333e8db
--- a/make/Init.gmk	Fri Sep 02 02:40:58 2016 +0000
+++ b/make/Init.gmk	Mon Sep 05 10:10:29 2016 +0200
@@ -314,6 +314,9 @@
         endif
 
     on-failure:
+	$(call CleanupSmartJavac)
+	$(call StopGlobalTimer)
+	$(call ReportBuildTimes)
 	$(call PrintFailureReports)
 	$(call PrintBuildLogFailures)
 	$(PRINTF) "Hint: If caused by a warning, try configure --disable-warnings-as-errors.\n\n"