[PATCH v2] Makefile: add rebuild

Andreas Schwab schwab at suse.de
Wed Jan 17 03:36:18 PST 2024


On Jan 17 2024, Xiang W wrote:

> diff --git a/Makefile b/Makefile
> index de4e73a..17d0a22 100644
> --- a/Makefile
> +++ b/Makefile
> @@ -688,5 +688,9 @@ endif
>  	$(if $(V), @echo " RM        $(src_dir)/cscope*")
>  	$(CMD_PREFIX)rm -f $(src_dir)/cscope*
>  
> +# Rule for "make rebuild"
> +.PHONY: rebuild
> +rebuild: clean all

This will not work in a parallel build, since clean and all will be run
in parallel.

-- 
Andreas Schwab, SUSE Labs, schwab at suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."



More information about the opensbi mailing list