On Nov 10, 2017, at 12:36 PM, Martin Sebor <msebor@gmail.com> wrote: > > The warning is included in -Wall Ah, I missed that little detail the first time around. -Wall is special in that we already just sanitize the source to pass it. I assumed it was a non-wall flag someone added or wanted to add to the bootstrap.