[PPL-devel] [GIT] ppl/ppl(master): Tests have to be done unconditionally.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu Mar 26 12:37:31 2009 +0100

Tests have to be done unconditionally.

---

 tests/BD_Shape/.gitignore         |    1 -
 tests/BD_Shape/Makefile.am        |   11 ++++-------
 tests/Box/.gitignore              |    1 -
 tests/Box/Makefile.am             |   11 ++++-------
 tests/Octagonal_Shape/.gitignore  |    1 -
 tests/Octagonal_Shape/Makefile.am |   11 ++++-------
 6 files changed, 12 insertions(+), 24 deletions(-)

diff --git a/tests/BD_Shape/.gitignore b/tests/BD_Shape/.gitignore
index c43beea..b750b4e 100644
--- a/tests/BD_Shape/.gitignore
+++ b/tests/BD_Shape/.gitignore
@@ -62,7 +62,6 @@ relations2
 relations3
 relations4
 removespacedims1
-run_tests.stamp
 timeelapse1
 unconstrain1
 universe1
diff --git a/tests/BD_Shape/Makefile.am b/tests/BD_Shape/Makefile.am
index bfd6f77..b8a8764 100644
--- a/tests/BD_Shape/Makefile.am
+++ b/tests/BD_Shape/Makefile.am
@@ -116,12 +116,12 @@ TEST_CPPFLAGS=-DBD_SHAPE_INSTANCE=mpq_class
 
 dist_check_SCRIPTS = run_tests
 
-TESTS = run_tests.stamp
+TESTS = tests
 
-run_tests.stamp: run_tests
+.PHONY: tests
+
+tests: run_tests
 	+$(srcdir)/run_tests
-	echo "true" >run_tests.stamp
-	chmod +x run_tests.stamp
 
 XFAIL_TESTS =
 
@@ -285,8 +285,5 @@ writebdshape1_SOURCES = writebdshape1.cc
 MOSTLYCLEANFILES = \
 ascii_dump_load1.dat
 
-CLEANFILES = \
-run_tests.stamp
-
 DISTCLEANFILES = \
 dirty_marker
diff --git a/tests/Box/.gitignore b/tests/Box/.gitignore
index 7b03b66..b16b31f 100644
--- a/tests/Box/.gitignore
+++ b/tests/Box/.gitignore
@@ -57,7 +57,6 @@ relations2
 relations3
 relations4
 removespacedims1
-run_tests.stamp
 timeelapse1
 topclosed1
 unconstrain1
diff --git a/tests/Box/Makefile.am b/tests/Box/Makefile.am
index d3e2e34..e3b032f 100644
--- a/tests/Box/Makefile.am
+++ b/tests/Box/Makefile.am
@@ -120,12 +120,12 @@ TEST_CPPFLAGS=-DBOX_INSTANCE=rt_r_oc
 
 dist_check_SCRIPTS = run_tests
 
-TESTS = run_tests.stamp
+TESTS = tests
 
-run_tests.stamp: run_tests
+.PHONY: tests
+
+tests: run_tests
 	+$(srcdir)/run_tests
-	echo "true" >run_tests.stamp
-	chmod +x run_tests.stamp
 
 XFAIL_TESTS =
 
@@ -308,8 +308,5 @@ EXTRA_DIST = $(refinewithconstraints2_SRCS)
 MOSTLYCLEANFILES = \
 ascii_dump_load1.dat
 
-CLEANFILES = \
-run_tests.stamp
-
 DISTCLEANFILES = \
 dirty_marker
diff --git a/tests/Octagonal_Shape/.gitignore b/tests/Octagonal_Shape/.gitignore
index 4091625..bd12d6f 100644
--- a/tests/Octagonal_Shape/.gitignore
+++ b/tests/Octagonal_Shape/.gitignore
@@ -60,7 +60,6 @@ relatwithcons2
 relatwithcons3
 relatwithgen1
 removespacedims1
-run_tests.stamp
 timeelapse1
 unconstrain1
 universe1
diff --git a/tests/Octagonal_Shape/Makefile.am b/tests/Octagonal_Shape/Makefile.am
index 906f43e..1e0017e 100644
--- a/tests/Octagonal_Shape/Makefile.am
+++ b/tests/Octagonal_Shape/Makefile.am
@@ -123,12 +123,12 @@ TEST_CPPFLAGS=-DOCTAGONAL_SHAPE_INSTANCE=mpq_class
 
 dist_check_SCRIPTS = run_tests
 
-TESTS = run_tests.stamp
+TESTS = tests
 
-run_tests.stamp: run_tests
+.PHONY: tests
+
+tests: run_tests
 	+$(srcdir)/run_tests
-	echo "true" >run_tests.stamp
-	chmod +x run_tests.stamp
 
 XFAIL_TESTS =
 
@@ -286,8 +286,5 @@ writeoctagon1_SOURCES = writeoctagon1.cc
 MOSTLYCLEANFILES = \
 ascii_dump_load1.dat
 
-CLEANFILES = \
-run_tests.stamp
-
 DISTCLEANFILES = \
 dirty_marker