diff options
author | DJ Delorie <dj@redhat.com> | 2007-03-12 23:19:44 +0300 |
---|---|---|
committer | DJ Delorie <dj@redhat.com> | 2007-03-12 23:19:44 +0300 |
commit | 9c28809c0f505ea1969523aad89b3a7df045bb7c (patch) | |
tree | 76d617d21e4e5d198bd0a3fb702fb7f1bb0ae8b2 /Makefile.def | |
parent | 31e07d86d284f1b12afc55daaabf2272ed0044cd (diff) |
2007-03-12 Brooks Moses <brooks.moses@codesourcery.com>
* Makefile.def (fixincludes): Remove unneeded "missing" lines.
* Makefile.in: Regenerate
Diffstat (limited to 'Makefile.def')
-rw-r--r-- | Makefile.def | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/Makefile.def b/Makefile.def index 926c934ea..986b1eda0 100644 --- a/Makefile.def +++ b/Makefile.def @@ -51,13 +51,7 @@ host_modules= { module= fileutils; }; host_modules= { module= findutils; }; host_modules= { module= find; }; host_modules= { module= fixincludes; - missing= info; - missing= dvi; - missing= pdf; - missing= TAGS; - missing= install-pdf; - missing= install-info; - missing= installcheck; }; + missing= TAGS; }; host_modules= { module= flex; no_check_cross= true; }; host_modules= { module= gas; bootstrap=true; }; host_modules= { module= gcc; bootstrap=true; |