diff options
Diffstat (limited to 'config/comp_libs/gmp.in')
| -rw-r--r-- | config/comp_libs/gmp.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config/comp_libs/gmp.in b/config/comp_libs/gmp.in index f49d1a71..7baac528 100644 --- a/config/comp_libs/gmp.in +++ b/config/comp_libs/gmp.in @@ -1 +1,6 @@ # GMP options +config GMP_EXTRA_CFLAGS + string "extra target CFLAGS" + default "-std=gnu17" if GCC_15_or_later + help + Extra target CFLAGS to use when building. |