[PPL-devel] [GIT] ppl/ppl(pip): Correctly deal with pipproblem1.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Sep 24 20:48:16 2009 +0200

Correctly deal with pipproblem1.

---

 tests/PIP_Problem/.gitignore  |    1 +
 tests/PIP_Problem/Makefile.am |    8 ++++----
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/tests/PIP_Problem/.gitignore b/tests/PIP_Problem/.gitignore
new file mode 100644
index 0000000..b331d16
--- /dev/null
+++ b/tests/PIP_Problem/.gitignore
@@ -0,0 +1 @@
+pipproblem1
diff --git a/tests/PIP_Problem/Makefile.am b/tests/PIP_Problem/Makefile.am
index 3ebe480..da24a57 100644
--- a/tests/PIP_Problem/Makefile.am
+++ b/tests/PIP_Problem/Makefile.am
@@ -50,7 +50,7 @@ $(top_builddir)/src/libppl.la \
 @extra_libraries@
 
 TESTS = \
-pipproblem
+pipproblem1
 
 XFAIL_TESTS =
 
@@ -60,16 +60,16 @@ BUGS =
 # Sources for the tests
 #
 
-pipproblem_SOURCES = pipproblem.cc
+pipproblem1_SOURCES = pipproblem1.cc
 
 check_PROGRAMS = \
 $(TESTS) \
 $(WATCHDOG_TESTS) \
 $(BUGS)
 
-#EXTRA_DIST = 
+#EXTRA_DIST =
 
-#MOSTLYCLEANFILES = 
+#MOSTLYCLEANFILES =
 
 $(top_builddir)/utils/libppl_utils.a:
 	$(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir)/utils libppl_utils.a