scope of configure.optflags, configure.compiler etc. command line variables

[Ryan Schmidt]

On Sep 12, 2019, at 03:46, René J.V. Bertin wrote:

> I hope I didn't ask this before:
> 
> Is there a way to let command line options like the ones in the subject apply to all ports on the command line, instead of only to the one given just before of the option in question?

I would guess the answer is no.

Setting such options on the command line is intended as a debugging technique only. It's expected that you're only debugging one port at a time, so this limitation shouldn't be a problem.