author | erikj |
Thu, 16 Apr 2015 12:39:43 +0200 | |
changeset 29861 | cb5d893c3282 |
parent 29860 | cf5c9dbfcb64 |
child 29862 | 3dc68ba14011 |
--- 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