This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Ganeti core".
The branch, master has been updated
via 1ad14f38083d7d7702154f791070a92e241320e0 (commit)
from 7f7c9c2cc2fa7acccc9040ae12e454dbeac48d6f (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 1ad14f38083d7d7702154f791070a92e241320e0
Author: Niklas Hambuechen <[email protected]>
Date: Mon Nov 3 19:35:39 2014 +0100
Makefile.am: Don't use -dynamic-too for .hpc_o files
It turns out that GHC 7.8's -dynamic-too is forbidden not only for
profiling builds object files, but also for those using HPC coverage.
This commit accordingly renames HFLAGS_NOPROF to HFLAGS_DYNAMIC
(since it now is not conditional on profiling any more),
and makes sure that it is not used for profiling or HPC.
This way we achieve that, for profiling+coverage builds
- .dyn_o files are available for use in TH in the following 3 cases
- .o files are for the normal binaries
- .hpc_o files are for coverage-enabled test binaries
- .prof_o files are for profiling binaries
We make .hpc_o files depend on the .o files because the creation of
the .o files will also create the .so files needed for TH.
This was already in place for .prof_o files.
This requires that HFLAGS now also contains `-itest/hs` since
the rule for .o files is now also responsible for building .o/.so files
in test/hs.
Signed-off-by: Niklas Hambuechen <[email protected]>
Reviewed-by: Klaus Aehlig <[email protected]>
-----------------------------------------------------------------------
Summary of changes:
Makefile.am | 42 +++++++++++++++++++++++++-----------------
1 files changed, 25 insertions(+), 17 deletions(-)
hooks/post-receive
--
Ganeti core
--
---
You received this message because you are subscribed to the Google Groups
"ganeti-commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
