On Mon, Aug 22, 2022 at 08:27:18AM -0600, Brook Milligan wrote: > INSTALLBOOT_BOARDS is constructed dynamically from installboot, so it > is not really part of the current user interface.
I would just drop the INSTALLBOOT_BOARDS != part and leave it to the
user to pass a proper list via
build.sh -V INSTALLBOOT_BOARDS="pinebook pinebook-pro"
or similar. The for loop over the boards would just do nothing in the
invocation w/o that -V.
Martin
