diff options
author | Jakub Jelinek <jakub@redhat.com> | 2014-03-26 09:19:44 +0000 |
---|---|---|
committer | Jakub Jelinek <jakub@redhat.com> | 2014-03-26 09:19:44 +0000 |
commit | 9a380f60ceefc64b5677070097df1c54a9172c31 (patch) | |
tree | d82648ca82fd2ca67ad37eb9f5f2ffe1fbae5895 /Makefile.def | |
parent | 5c93c0e5b2b91eecf46ed7cb2be8a659db58ae78 (diff) |
PR sanitizer/56781
* Makefile.def: Set bootstrap=true; for host fixincludes.
* configure.ac: Don't bootstrap host fixincludes unless
--with-build-config=bootstrap-{a,ub}san.
* Makefile.in: Regenerated.
* configure: Regenerated.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@208842 138bc75d-0d04-0410-961f-82ee72b054a4
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 32296d1160f..b0432142188 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; }; |