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.
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.