diff options
author | Vladimir Makarov <vmakarov@redhat.com> | 2008-08-01 14:43:22 +0000 |
---|---|---|
committer | Vladimir Makarov <vmakarov@redhat.com> | 2008-08-01 14:43:22 +0000 |
commit | 6b0f53c57a3fe90b5aff160ae0c75c9c3ebc3809 (patch) | |
tree | 0bb2ac662bea085b36093d7086806c7c814b0d31 /Makefile.def | |
parent | 5a5cfb65e55cd766d62c9cc7e8bf3f56602e9bb4 (diff) |
Merger with trunk @ 138422
git-svn-id: https://gcc.gnu.org/svn/gcc/branches/ira@138523 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'Makefile.def')
-rw-r--r-- | Makefile.def | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.def b/Makefile.def index 3924617ebd3..832fc4236e9 100644 --- a/Makefile.def +++ b/Makefile.def @@ -226,6 +226,7 @@ flags_to_pass = { flag= YACC ; }; // Host tools flags_to_pass = { flag= ADAFLAGS ; optional=true ; }; +flags_to_pass = { flag= ADA_CFLAGS ; }; flags_to_pass = { flag= AR_FLAGS ; }; flags_to_pass = { flag= BOOT_ADAFLAGS ; optional=true ; }; flags_to_pass = { flag= BOOT_CFLAGS ; }; |