diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2008-03-13 16:35:08 +0300 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2008-03-13 16:35:08 +0300 |
commit | 455b4f90fb92a68d0a4dd90a15c64ff732240635 (patch) | |
tree | 856bb52194667fd25670ade6da08c1c38be9a9aa /Makefile.def | |
parent | fe389b5bfae10772b1d311ecd2e38323b4d10c5e (diff) |
2008-03-13 Paolo Bonzini <bonzini@gnu.org>
* Makefile.def (stageprofile). Remove -fprofile-generate
from stage_libcflags.
* Makefile.in: Regenerate.
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 a68722598..ae8d6d9e0 100644 --- a/Makefile.def +++ b/Makefile.def @@ -552,7 +552,7 @@ bootstrap_stage = { id=profile ; prev=1 ; stage_configure_flags="@stage2_werror_flag@" ; stage_cflags='$(STAGE2_CFLAGS) -fprofile-generate' ; - stage_libcflags='$(STAGE2_LIBCFLAGS) -fprofile-generate' ; }; + stage_libcflags='$(STAGE2_LIBCFLAGS)' ; }; bootstrap_stage = { id=feedback ; prev=profile ; bootstrap_target=profiledbootstrap ; |