--- 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