On Jun 19, 2017, at 10:11 AM, Tom de Vries <tom_devr...@mentor.com> wrote: > > I came across dg-add-options, and wondered if adding a dg-add-options feature > stack_size is a better way to make STACK_SIZE available.
I don't have a strong opinion here, but, it does look a tad simpler and nicer. > OK if complete and tested? Ok.
