summaryrefslogtreecommitdiff
path: root/gcc/ada/gcc-interface/misc.c
diff options
context:
space:
mode:
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>2015-10-02 09:45:45 +0000
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>2015-10-02 09:45:45 +0000
commit1006f7a99b96e0832aa0fa9f5e8ffe29a9e7a3e6 (patch)
tree832b7a35361698546835e6889204f8431421a6eb /gcc/ada/gcc-interface/misc.c
parentb185c082e7056b5aa1a2e2ecf7f793f61243e329 (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.c5
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 ();
}