diff options
author | Arnaud Charlet <charlet@adacore.com> | 2022-07-18 07:43:54 +0000 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-05 09:21:01 +0200 |
commit | 72c5ce77a028e57048c8666a7b782e3b921ee28c (patch) | |
tree | 82113a85dabbb10dac79065686ceed7d2eda1f6d /gcc/jit | |
parent | 2322afe68dcee22842e6feb60aed262c584ec48a (diff) | |
download | gcc-72c5ce77a028e57048c8666a7b782e3b921ee28c.zip gcc-72c5ce77a028e57048c8666a7b782e3b921ee28c.tar.gz gcc-72c5ce77a028e57048c8666a7b782e3b921ee28c.tar.bz2 |
[Ada] New gnatbind switch -k
This switch can be used to disable the effect of -F when using -n
explicitly or implicitly.
gcc/ada/
* bindgen.adb (Gen_Elab_Calls): Check for Check_Elaboration_Flags.
* bindusg.adb (Display): Add -k.
* opt.ads (Check_Elaboration_Flags): New.
* switch-b.adb (Scan_Binder_Switches): Add processing of -k.
* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Add
documentation for -k and -K.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc/jit')
0 files changed, 0 insertions, 0 deletions