You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
45 lines
1.1 KiB
45 lines
1.1 KiB
11 years ago
|
--- a/tests/BD_Shape/Makefile.am
|
||
|
+++ b/tests/BD_Shape/Makefile.am
|
||
|
@@ -21,8 +21,6 @@
|
||
|
# For the most up-to-date information see the Parma Polyhedra Library
|
||
|
# site: http://bugseng.com/products/ppl/ .
|
||
|
|
||
|
-AUTOMAKE_OPTIONS = serial-tests
|
||
|
-
|
||
|
if VALGRIND_TESTS_ENABLED
|
||
|
|
||
|
CHECKER = \
|
||
|
--- a/tests/Box/Makefile.am
|
||
|
+++ b/tests/Box/Makefile.am
|
||
|
@@ -21,8 +21,6 @@
|
||
|
# For the most up-to-date information see the Parma Polyhedra Library
|
||
|
# site: http://bugseng.com/products/ppl/ .
|
||
|
|
||
|
-AUTOMAKE_OPTIONS = serial-tests
|
||
|
-
|
||
|
if VALGRIND_TESTS_ENABLED
|
||
|
|
||
|
CHECKER = \
|
||
|
--- a/tests/Concrete_Expression/Makefile.am
|
||
|
+++ b/tests/Concrete_Expression/Makefile.am
|
||
|
@@ -21,8 +21,6 @@
|
||
|
# For the most up-to-date information see the Parma Polyhedra Library
|
||
|
# site: http://bugseng.com/products/ppl/ .
|
||
|
|
||
|
-AUTOMAKE_OPTIONS = serial-tests
|
||
|
-
|
||
|
if VALGRIND_TESTS_ENABLED
|
||
|
|
||
|
CHECKER = \
|
||
|
--- a/tests/Octagonal_Shape/Makefile.am
|
||
|
+++ b/tests/Octagonal_Shape/Makefile.am
|
||
|
@@ -21,8 +21,6 @@
|
||
|
# For the most up-to-date information see the Parma Polyhedra Library
|
||
|
# site: http://bugseng.com/products/ppl/ .
|
||
|
|
||
|
-AUTOMAKE_OPTIONS = serial-tests
|
||
|
-
|
||
|
if VALGRIND_TESTS_ENABLED
|
||
|
|
||
|
CHECKER = \
|