# HG changeset patch
# User erikj
# Date 1429180783 -7200
# Node ID cb5d893c3282d9f6d0aa29e15b67b7e52c611146
# Parent  cf5c9dbfcb647a75fb861e586e58ce3de2cbeb36
8077814: Add .DELETE_ON_ERROR to makefiles
Reviewed-by: tbell, ihse

diff -r cf5c9dbfcb64 -r cb5d893c3282 make/common/MakeBase.gmk
--- a/make/common/MakeBase.gmk	Tue Apr 07 13:29:40 2015 +0200
+++ b/make/common/MakeBase.gmk	Thu Apr 16 12:39:43 2015 +0200
@@ -36,6 +36,10 @@
   $(error MakeBase.gmk needs SPEC set to a proper spec.gmk)
 endif
 
+# By defining this pseudo target, make will automatically remove targets
+# if their recipe fails so that a rebuild is automatically triggered on the
+# next make invocation.
+.DELETE_ON_ERROR:
 
 ##############################
 # Functions