diff options
author | Luka Perkov <luka@openwrt.org> | 2013-12-15 21:07:34 +0000 |
---|---|---|
committer | Luka Perkov <luka@openwrt.org> | 2013-12-15 21:07:34 +0000 |
commit | 5efbcf2f92ea542e0d829c4530e7d3602376756a (patch) | |
tree | 00ee09ea8e0dceee188f2ac1d15350282920bfd4 /tools/ppl/patches/001-disable-serial-tests.patch | |
parent | 152f0b70177c529a2d1ff179b0dbd289e071a532 (diff) | |
download | upstream-5efbcf2f92ea542e0d829c4530e7d3602376756a.tar.gz upstream-5efbcf2f92ea542e0d829c4530e7d3602376756a.tar.bz2 upstream-5efbcf2f92ea542e0d829c4530e7d3602376756a.zip |
ppl: update to 1.1
Signed-off-by: Luka Perkov <luka@openwrt.org>
SVN-Revision: 39068
Diffstat (limited to 'tools/ppl/patches/001-disable-serial-tests.patch')
-rw-r--r-- | tools/ppl/patches/001-disable-serial-tests.patch | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/tools/ppl/patches/001-disable-serial-tests.patch b/tools/ppl/patches/001-disable-serial-tests.patch new file mode 100644 index 0000000000..91b0753feb --- /dev/null +++ b/tools/ppl/patches/001-disable-serial-tests.patch @@ -0,0 +1,44 @@ +--- 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 = \ |