diff options
Diffstat (limited to 'tools/ppl/patches')
| -rw-r--r-- | tools/ppl/patches/001-disable-serial-tests.patch | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/tools/ppl/patches/001-disable-serial-tests.patch b/tools/ppl/patches/001-disable-serial-tests.patch deleted file mode 100644 index 91b0753feb..0000000000 --- a/tools/ppl/patches/001-disable-serial-tests.patch +++ /dev/null @@ -1,44 +0,0 @@ ---- 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 = \ |