Re: [SeaBIOS] [PATCH] Makefile: delete output on error

[Markus Armbruster]

"Michael S. Tsirkin"  writes:
> I had a disk full condition and a partial hex file
> got generated. Following make failed trying to use it.
> We can make build a bit more robust by instructing
> make to remove output files on error.
> Signed-off-by: Michael S. Tsirkin
>
> Makefile | 1 +
>  1 file changed, 1 insertion(+)
>
> diff --git a/Makefile b/Makefile
> index 33b3e69..e5e2735 100644
> --- a/Makefile
> +++ b/Makefile
> @@ -75,6 +75,7 @@ all: $(target-y)
>
> # Make definitions
>  .PHONY : all clean distclean FORCE
> +.DELETE_ON_ERROR:
>
> vpath %.c src vgasrc
>  vpath %.S src vgasrc

Every Makefile should have this.

Reviewed-by: Markus Armbruster