On Mon, Oct 15, 2018 at 04:27:35PM +0200, Ahmad Fatoum wrote:
> On 10/10/18 2:12 PM, Ahmad Fatoum wrote:
> >  ## SECTION=hosttools_noprompt
> > +## SECTION=bootloader
> 
> I just learnt about SECTION=hosttools_platform.
> I guess this would be the more appropriate choice here?

correct.

Michael

-- 
Pengutronix e.K.                           |                             |
Industrial Linux Solutions                 | http://www.pengutronix.de/  |
Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0    |
Amtsgericht Hildesheim, HRA 2686           | Fax:   +49-5121-206917-5555 |

_______________________________________________
ptxdist mailing list
[email protected]

Reply via email to