Am Thu, 29 Oct 2020 10:57:15 +0000 schrieb Anthony PERARD <anthony.per...@citrix.com>:
> we need to add '.DELETE_ON_ERROR:' The last paragraph at https://www.gnu.org/software/make/manual/html_node/Errors.html#Errors suggests that this is a good thing to have. Olaf
pgp60XmNfzvTX.pgp
Description: Digitale Signatur von OpenPGP
