[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.

Thanks
Chris



More information about the devel mailing list