diff options
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-03-26 09:19:44 +0000 |
|---|---|---|
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-03-26 09:19:44 +0000 |
| commit | f4ae1a0072bf167c37df467eaf49a6e7da5cd2ef (patch) | |
| tree | d82648ca82fd2ca67ad37eb9f5f2ffe1fbae5895 /Makefile.def | |
| parent | 57e011dc3fa82b0b04c5dc752290c65e3ba37f4c (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: svn+ssh://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; }; |