diff options
Diffstat (limited to 'Makefile.def')
-rw-r--r-- | Makefile.def | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.def b/Makefile.def index 32296d1..b043214 100644 --- a/Makefile.def +++ b/Makefile.def @@ -39,7 +39,7 @@ host_modules= { module= cgen; }; host_modules= { module= dejagnu; }; host_modules= { module= etc; }; host_modules= { module= fastjar; no_check_cross= true; }; -host_modules= { module= fixincludes; +host_modules= { module= fixincludes; bootstrap=true; missing= TAGS; }; host_modules= { module= flex; no_check_cross= true; }; host_modules= { module= gas; bootstrap=true; }; |