Re: git: 8cb5cb36f226 - main - lang/gambit-c: update to version 4.9.6

On Sat, 5 Jul 2025, Jimmy Olgeni wrote:
>>> -.if ${PORT_OPTIONS:MGCC}
>>> -USE_GCC=   12
>>> -.endif
>> After this change the GCC option is actually meaningless. The patch below
>> further cleans that up.
> Please go ahead -> back then the GCC build was significantly faster,
> but now I'd say they are more or less the same :)

I pushed this. If we want to have a GCC option, we could re-add something 
like the above with USE_GCC=yes (once gambit-c has been fixed).

Gerald