1 --- a/tests/BD_Shape/Makefile.am
2 +++ b/tests/BD_Shape/Makefile.am
4 # For the most up-to-date information see the Parma Polyhedra Library
5 # site: http://bugseng.com/products/ppl/ .
7 -AUTOMAKE_OPTIONS = serial-tests
9 if VALGRIND_TESTS_ENABLED
12 --- a/tests/Box/Makefile.am
13 +++ b/tests/Box/Makefile.am
15 # For the most up-to-date information see the Parma Polyhedra Library
16 # site: http://bugseng.com/products/ppl/ .
18 -AUTOMAKE_OPTIONS = serial-tests
20 if VALGRIND_TESTS_ENABLED
23 --- a/tests/Concrete_Expression/Makefile.am
24 +++ b/tests/Concrete_Expression/Makefile.am
26 # For the most up-to-date information see the Parma Polyhedra Library
27 # site: http://bugseng.com/products/ppl/ .
29 -AUTOMAKE_OPTIONS = serial-tests
31 if VALGRIND_TESTS_ENABLED
34 --- a/tests/Octagonal_Shape/Makefile.am
35 +++ b/tests/Octagonal_Shape/Makefile.am
37 # For the most up-to-date information see the Parma Polyhedra Library
38 # site: http://bugseng.com/products/ppl/ .
40 -AUTOMAKE_OPTIONS = serial-tests
42 if VALGRIND_TESTS_ENABLED