On Nov 10, 2017, at 12:36 PM, Martin Sebor <mse...@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.
