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

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri Mar 27 08:56:44 2009 +0100

Fixed make check.

---

tests/BD_Shape/Makefile.am | 7 +------ tests/BD_Shape/run_tests | 1 + tests/Box/Makefile.am | 7 +------ tests/Box/run_tests | 1 + tests/Octagonal_Shape/Makefile.am | 7 +------ tests/Octagonal_Shape/run_tests | 1 + 6 files changed, 6 insertions(+), 18 deletions(-)

diff --git a/tests/BD_Shape/Makefile.am b/tests/BD_Shape/Makefile.am index b8a8764..97044a5 100644 --- a/tests/BD_Shape/Makefile.am +++ b/tests/BD_Shape/Makefile.am @@ -116,12 +116,7 @@ TEST_CPPFLAGS=-DBD_SHAPE_INSTANCE=mpq_class

dist_check_SCRIPTS = run_tests

-TESTS = tests - -.PHONY: tests - -tests: run_tests - +$(srcdir)/run_tests +TESTS = $(srcdir)/run_tests

XFAIL_TESTS =

diff --git a/tests/BD_Shape/run_tests b/tests/BD_Shape/run_tests index c6b3631..b0aa753 100755 --- a/tests/BD_Shape/run_tests +++ b/tests/BD_Shape/run_tests @@ -50,3 +50,4 @@ do $MAKE check TESTS="$check_PROGRAMS" TESTS_ENVIRONMENT="$CHECKER" TEST_CPPFLAGS="-DBD_SHAPE_INSTANCE=$instance" XFAIL_TESTS=$xfail_tests || exit 1 $MAKE clean && rm dirty_marker done +exit 0 diff --git a/tests/Box/Makefile.am b/tests/Box/Makefile.am index e3b032f..53600ef 100644 --- a/tests/Box/Makefile.am +++ b/tests/Box/Makefile.am @@ -120,12 +120,7 @@ TEST_CPPFLAGS=-DBOX_INSTANCE=rt_r_oc

dist_check_SCRIPTS = run_tests

-TESTS = tests - -.PHONY: tests - -tests: run_tests - +$(srcdir)/run_tests +TESTS = $(srcdir)/run_tests

XFAIL_TESTS =

diff --git a/tests/Box/run_tests b/tests/Box/run_tests index ad0ac94..05e7404 100755 --- a/tests/Box/run_tests +++ b/tests/Box/run_tests @@ -50,3 +50,4 @@ do $MAKE check TESTS="$check_PROGRAMS" TESTS_ENVIRONMENT="$CHECKER" TEST_CPPFLAGS="-DBOX_INSTANCE=$instance" XFAIL_TESTS=$xfail_tests || exit 1 $MAKE clean && rm dirty_marker done +exit 0 diff --git a/tests/Octagonal_Shape/Makefile.am b/tests/Octagonal_Shape/Makefile.am index 1e0017e..710f81a 100644 --- a/tests/Octagonal_Shape/Makefile.am +++ b/tests/Octagonal_Shape/Makefile.am @@ -123,12 +123,7 @@ TEST_CPPFLAGS=-DOCTAGONAL_SHAPE_INSTANCE=mpq_class

dist_check_SCRIPTS = run_tests

-TESTS = tests - -.PHONY: tests - -tests: run_tests - +$(srcdir)/run_tests +TESTS = $(srcdir)/run_tests

XFAIL_TESTS =

diff --git a/tests/Octagonal_Shape/run_tests b/tests/Octagonal_Shape/run_tests index f35e83d..bf55f87 100755 --- a/tests/Octagonal_Shape/run_tests +++ b/tests/Octagonal_Shape/run_tests @@ -50,3 +50,4 @@ do $MAKE check TESTS="$check_PROGRAMS" TESTS_ENVIRONMENT="$CHECKER" TEST_CPPFLAGS="-DOCTAGONAL_SHAPE_INSTANCE=$instance" XFAIL_TESTS=$xfail_tests || exit 1 $MAKE clean && rm dirty_marker done +exit 0