Re: Add dg-add-options feature stack_size

2017-06-19 Thread Mike Stump
On Jun 19, 2017, at 10:11 AM, Tom de Vries 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.

Add dg-add-options feature stack_size

2017-06-19 Thread Tom de Vries
ize_et. ... Incomplete (updated just one testcase) and untested. OK if complete and tested? Thanks, - Tom Add dg-add-options feature stack_size 2017-06-19 Tom de Vries <t...@codesourcery.com> * doc/sourcebuild.texi (Add Options, Features for dg-add-options): Add stack_size feature.