001-disable-serial-tests.patch 1.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  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. -AUTOMAKE_OPTIONS = serial-tests
  7. -
  8. if VALGRIND_TESTS_ENABLED
  9. CHECKER = \
  10. --- a/tests/Box/Makefile.am
  11. +++ b/tests/Box/Makefile.am
  12. @@ -21,8 +21,6 @@
  13. # For the most up-to-date information see the Parma Polyhedra Library
  14. # site: http://bugseng.com/products/ppl/ .
  15. -AUTOMAKE_OPTIONS = serial-tests
  16. -
  17. if VALGRIND_TESTS_ENABLED
  18. CHECKER = \
  19. --- a/tests/Concrete_Expression/Makefile.am
  20. +++ b/tests/Concrete_Expression/Makefile.am
  21. @@ -21,8 +21,6 @@
  22. # For the most up-to-date information see the Parma Polyhedra Library
  23. # site: http://bugseng.com/products/ppl/ .
  24. -AUTOMAKE_OPTIONS = serial-tests
  25. -
  26. if VALGRIND_TESTS_ENABLED
  27. CHECKER = \
  28. --- a/tests/Octagonal_Shape/Makefile.am
  29. +++ b/tests/Octagonal_Shape/Makefile.am
  30. @@ -21,8 +21,6 @@
  31. # For the most up-to-date information see the Parma Polyhedra Library
  32. # site: http://bugseng.com/products/ppl/ .
  33. -AUTOMAKE_OPTIONS = serial-tests
  34. -
  35. if VALGRIND_TESTS_ENABLED
  36. CHECKER = \