[PPL-devel] [GIT] ppl/ppl(master): Missing backslash added.

Roberto Bagnara bagnara at cs.unipr.it
Mon Feb 15 20:29:03 CET 2010


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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 15 20:28:49 2010 +0100

Missing backslash added.

---

 demos/ppl_pips/Makefile.am |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/demos/ppl_pips/Makefile.am b/demos/ppl_pips/Makefile.am
index bce939d..f5bc801 100644
--- a/demos/ppl_pips/Makefile.am
+++ b/demos/ppl_pips/Makefile.am
@@ -45,7 +45,7 @@ piplib_pips: piplib_pips.o
 	$(CXXLINK) $< -lpip -lgmpxx -lgmp $(top_builddir)/utils/libppl_utils.a
 
 EXTRA_DIST = \
-expected_mpz
+expected_mpz \
 expected_mpz_a \
 expected_int8 \
 expected_int8_a \




More information about the PPL-devel mailing list