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.
