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

15 Feb 2010

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

    