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

19 Apr 2010

Module: ppl/ppl
Branch: master
Commit: 4fd40ebc37d08d148dac661395515fecd7f55941
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4fd40ebc37d08...
Author: Roberto Bagnara bagnara@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 \

    

Roberto Bagnara

tags (0)

participants (1)