changeset 1453:e101d3d68578

8077814: Add .DELETE_ON_ERROR to makefiles Reviewed-by: tbell, ihse
author erikj
date Thu, 16 Apr 2015 12:39:43 +0200
parents c2fa787fb2f1
children 41308884fd44
files make/common/MakeBase.gmk
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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