aboutsummaryrefslogtreecommitdiff
path: root/Makefile.def
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.def')
-rw-r--r--Makefile.def2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.def b/Makefile.def
index da5394f..33d4464 100644
--- a/Makefile.def
+++ b/Makefile.def
@@ -237,6 +237,8 @@ flags_to_pass = { flag= LIBCXXFLAGS ; };
flags_to_pass = { flag= STAGE1_CFLAGS ; };
flags_to_pass = { flag= STAGE1_CHECKING ; };
flags_to_pass = { flag= STAGE1_LANGUAGES ; };
+flags_to_pass = { flag= GNATBIND ; };
+flags_to_pass = { flag= GNATMAKE ; };
// Target tools
flags_to_pass = { flag= AR_FOR_TARGET ; };