[PPL-devel] [GIT] ppl/ppl(master): Added $(noinst_HEADERS) to BUILT_SOURCES so as to build ppl.hh early when !BUILD_CXX_INTERFACE.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 4fd40ebc37d08d148dac661395515fecd7f55941
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4fd40ebc37d08d148dac661395515fecd7f55941

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Apr 19 19:19:42 2010 +0200

Added $(noinst_HEADERS) to BUILT_SOURCES so as to build ppl.hh early when !BUILD_CXX_INTERFACE.
(Thanks to Ralf Wildenhues who identified the problem and to Sebastian Pop
who reported a parallel build failure due to it.)

---

 src/Makefile.am |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/src/Makefile.am b/src/Makefile.am
index 5d20cf7..24730bc 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -563,6 +563,7 @@ endif !USE_PRECOMPILED_HEADERS
 BUILT_SOURCES = \
 $(include_HEADERS) \
 $(nodist_noinst_HEADERS) \
+$(noinst_HEADERS) \
 $(PRECOMPILED) \
 BUGS.cc \
 COPYING.cc \