make/InitSupport.gmk
changeset 32344 0b288e0efcfa
parent 29788 b581a3d9db41
child 32715 4d558a41a1ec
--- a/make/InitSupport.gmk	Wed Jul 05 20:47:29 2017 +0200
+++ b/make/InitSupport.gmk	Thu Sep 03 11:05:49 2015 +0200
@@ -318,6 +318,11 @@
 	)
   endef
 
+  define PrepareFailureLogs
+	$(RM) -r $(MAKESUPPORT_OUTPUTDIR)/failure-logs 2> /dev/null
+	$(MKDIR) -p $(MAKESUPPORT_OUTPUTDIR)/failure-logs
+  endef
+
   # Remove any javac server logs and port files. This
   # prevents a new make run to reuse the previous servers.
   define PrepareSmartJavac