diff options
author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-10-02 09:45:45 +0000 |
---|---|---|
committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-10-02 09:45:45 +0000 |
commit | 1006f7a99b96e0832aa0fa9f5e8ffe29a9e7a3e6 (patch) | |
tree | 832b7a35361698546835e6889204f8431421a6eb /gcc/ada/gcc-interface/misc.c | |
parent | b185c082e7056b5aa1a2e2ecf7f793f61243e329 (diff) |
* gcc-interface/lang.opt (fbuiltin-printf): Accept.
* gcc-interface/misc.c (gnat_handle_option): Ignore it.
* gcc-interface/lang-specs.h (@ada, @adawhy, @adascil): Propagate -f*
flags as -g* and -m* flags past -gnatez.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@228381 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gcc-interface/misc.c')
-rw-r--r-- | gcc/ada/gcc-interface/misc.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/misc.c b/gcc/ada/gcc-interface/misc.c index da91c6f326d0..128234223e15 100644 --- a/gcc/ada/gcc-interface/misc.c +++ b/gcc/ada/gcc-interface/misc.c @@ -164,6 +164,11 @@ gnat_handle_option (size_t scode, const char *arg ATTRIBUTE_UNUSED, int value, /* This is handled by the middle-end. */ break; + case OPT_fbuiltin_printf: + /* This is ignored in Ada but needs to be accepted so it can be + defaulted. */ + break; + default: gcc_unreachable (); } |