[PATCH v2] sb: Fix the RTEMS options after strict option checking was added.

Chris Johns chrisj at rtems.org
Tue Jan 22 08:49:51 UTC 2019

On 22/1/19 5:24 pm, Sebastian Huber wrote:
> Thanks, this works. See v2 of the default prefix patch.

Both are OK to push.


More information about the devel mailing list