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