diff options
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-03-26 09:19:44 +0000 |
|---|---|---|
| committer | Tom Tromey <tromey@redhat.com> | 2014-05-08 10:18:30 -0600 |
| commit | 201f096fea34784b34e9084bd18e30097c273c9b (patch) | |
| tree | 818951693f9848360c20267a651f3a4a9d851837 /Makefile.def | |
| parent | 730af8ee0203fc0061f0adbb501f8e773f738aab (diff) | |
| download | gdb-201f096fea34784b34e9084bd18e30097c273c9b.zip gdb-201f096fea34784b34e9084bd18e30097c273c9b.tar.gz gdb-201f096fea34784b34e9084bd18e30097c273c9b.tar.bz2 | |
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 3a0dfdc..ec2b0f2 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; }; |