diff options
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 3924617..832fc42 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 ; }; |