diff options
author | Martin Liska <mliska@suse.cz> | 2017-06-28 09:54:14 +0200 |
---|---|---|
committer | Martin Liska <marxin@gcc.gnu.org> | 2017-06-28 07:54:14 +0000 |
commit | c8cf0b6f2294998ff741b77b3bcb0546e474dfcc (patch) | |
tree | 467db6768f750bc6fbd39438f67d01e639cae34e /Makefile.def | |
parent | f2bcf09e917a0135f360513e08b61e9011f5710e (diff) |
re PR bootstrap/81217 (Makefile:22754: warning: overriding recipe for target 'profiledbootstrap')
Fix PR bootstrap/81217
2017-06-28 Martin Liska <mliska@suse.cz>
PR bootstrap/81217
* Makefile.def: Remove superfluous bootstrap_target from
bootstrap_stage.
* Makefile.in: Re-generate the file.
From-SVN: r249726
Diffstat (limited to 'Makefile.def')
-rw-r--r-- | Makefile.def | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.def b/Makefile.def index 08d0dc08a46..bd7b080d905 100644 --- a/Makefile.def +++ b/Makefile.def @@ -623,8 +623,7 @@ bootstrap_stage = { bootstrap_stage = { id=profile ; prev=1 ; }; bootstrap_stage = { - id=train; prev=profile ; - bootstrap_target=profiledbootstrap ; }; + id=train; prev=profile ; } ; bootstrap_stage = { id=feedback ; prev=train; bootstrap_target=profiledbootstrap ; }; |