tools/ppl/patches/001-disable-serial-tests.patch

   1 --- a/tests/BD_Shape/Makefile.am
   2 +++ b/tests/BD_Shape/Makefile.am
   3 @@ -21,8 +21,6 @@
   4  # For the most up-to-date information see the Parma Polyhedra Library
   5  # site: http://bugseng.com/products/ppl/ .
   6
   7 -AUTOMAKE_OPTIONS = serial-tests
   8 -
   9  if VALGRIND_TESTS_ENABLED
  10
  11  CHECKER = \
  12 --- a/tests/Box/Makefile.am
  13 +++ b/tests/Box/Makefile.am
  14 @@ -21,8 +21,6 @@
  15  # For the most up-to-date information see the Parma Polyhedra Library
  16  # site: http://bugseng.com/products/ppl/ .
  17
  18 -AUTOMAKE_OPTIONS = serial-tests
  19 -
  20  if VALGRIND_TESTS_ENABLED
  21
  22  CHECKER = \
  23 --- a/tests/Concrete_Expression/Makefile.am
  24 +++ b/tests/Concrete_Expression/Makefile.am
  25 @@ -21,8 +21,6 @@
  26  # For the most up-to-date information see the Parma Polyhedra Library
  27  # site: http://bugseng.com/products/ppl/ .
  28
  29 -AUTOMAKE_OPTIONS = serial-tests
  30 -
  31  if VALGRIND_TESTS_ENABLED
  32
  33  CHECKER = \
  34 --- a/tests/Octagonal_Shape/Makefile.am
  35 +++ b/tests/Octagonal_Shape/Makefile.am
  36 @@ -21,8 +21,6 @@
  37  # For the most up-to-date information see the Parma Polyhedra Library
  38  # site: http://bugseng.com/products/ppl/ .
  39
  40 -AUTOMAKE_OPTIONS = serial-tests
  41 -
  42  if VALGRIND_TESTS_ENABLED
  43
  44  CHECKER = \