Re: [PATCH 0/4] -ffreestanding/-fno-builtin-* patches

[Arvind Sankar]

On Thu, Aug 20, 2020 at 03:41:33PM -0700, H. Peter Anvin wrote:
> 
> I would prefer this to be a #pragma for a header file, rather than
> having a very long command line for everything...
> 
> 	-hpa
> 

There is @option_file, though.