On Mon, Dec 14, 2020 at 05:36:01PM +0100, Manuel Bouyer wrote:
> ---
> tools/Makefile | 1 -
> 1 file changed, 1 deletion(-)
>
> diff --git a/tools/Makefile b/tools/Makefile
> index ed71474421..757a560be0 100644
> --- a/tools/Makefile
> +++ b/tools/Makefile
> @@ -18,7 +18,6 @@ SUBDIRS-$(CONFIG_X86) += firmware
> SUBDIRS-y += console
> SUBDIRS-y += xenmon
> SUBDIRS-y += xentop
> -SUBDIRS-$(CONFIG_NetBSD) += xenbackendd
I think we also want to remove the directory itself, as it would be
dead code at this point.
Thanks, Roger.