commit | 6363325c77066920e5867795c4c52cf1583ee62f | [log] [tgz] |
---|---|---|
author | Jerome Forissier <jerome@forissier.org> | Thu Sep 19 13:44:47 2019 +0200 |
committer | Jérôme Forissier <jerome@forissier.org> | Mon Sep 30 09:44:47 2019 +0200 |
tree | 6f442a5f81341f726b89017882fe4282e686902f | |
parent | 38f4260ce7c22085f4386b51aaad6837b539b6fc [diff] |
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>
This git contains source code for the secure side implementation of OP-TEE project.
All official OP-TEE documentation has moved to http://optee.readthedocs.io.
// OP-TEE core maintainers