CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2008-11-05 19:15:22

Modified files: src : Makefile.am

Log message: Source file ppl-config.cc is generated by the configure script, hence it should not be distributed: list it in nodist_ppl_config_SOURCES. (Thanks to Michael Tautschnig for pointing out this problem.)

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p...