Searched hist:"6363325 c77066920e5867795c4c52cf1583ee62f" (Results 1 – 1 of 1) sorted by relevance
| /optee_os/ |
| H A D | Makefile | 6363325c77066920e5867795c4c52cf1583ee62f Thu Sep 19 11:44:47 UTC 2019 Jerome Forissier <jerome@forissier.org> Makefile: add .DELETE_ON_ERROR
Adds the special recipe .DELETE_ON_ERROR. As per the GNU make
documentation:
.DELETE_ON_ERROR
If .DELETE_ON_ERROR is mentioned as a target anywhere in the
makefile, then make will delete the target of a rule if it has
changed and its recipe exits with a nonzero exit status, just as it
does when it receives a signal.
[...]
This is almost always what you want make to do, but it is not
historical practice; so for compatibility, you must explicitly
request it.
Signed-off-by: Jerome Forissier <jerome@forissier.org>
Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
|