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 \