Thanks, applied as 90a998e0fd5b1097499474c119c1fe0850f51bc5. Michael
[sent from post-receive hook] On Tue, 22 Feb 2022 08:39:27 +0100, Christian Melki <[email protected]> wrote: > Minor cosmetic fix. > > Signed-off-by: Christian Melki <[email protected]> > Message-Id: <[email protected]> > Signed-off-by: Michael Olbrich <[email protected]> > > diff --git a/platforms/barebox.in b/platforms/barebox.in > index 245b272a31da..c8192f0c90e3 100644 > --- a/platforms/barebox.in > +++ b/platforms/barebox.in > @@ -112,6 +112,8 @@ config BAREBOX_BAREBOXIMD > The tool 'bareboximd' can be used to extract metadata from > the (flashed) barebox image. > > +comment "build dependencies" > + > config BAREBOX_NEEDS_HOST_LIBUSB > prompt "barebox needs libusb" > bool _______________________________________________ ptxdist mailing list [email protected] To unsubscribe, send a mail with subject "unsubscribe" to [email protected]
