diff options
Diffstat (limited to 'skip-test.patch')
| -rw-r--r-- | skip-test.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/skip-test.patch b/skip-test.patch new file mode 100644 index 000000000000..27b77b829ede --- /dev/null +++ b/skip-test.patch @@ -0,0 +1,22 @@ +--- tests/testsuite.at 2016-02-26 12:52:54.249108829 +0100 ++++ tests/testsuite.at 2016-02-26 12:58:44.184478494 +0100 +@@ -242,7 +242,7 @@ + AT_CLEANUP + AT_SETUP(write objects) + AT_KEYWORDS(python) +-AT_CHECK(test -z "$PYTHON" -o -z "$BROWSER" && exit 77 || $VALGRIND testonehex `pwd`,,ignore,ignore) ++AT_CHECK(test false && exit 77 || $VALGRIND testonehex `pwd`,,ignore,ignore) + AT_CLEANUP + + AT_BANNER(JSON (experimental)) +--- tests/testsuite.at 2018-07-04 20:07:16.559992474 +0200 ++++ tests/testsuite.at 2018-07-04 20:07:10.693169683 +0200 +@@ -183,7 +183,7 @@ + AT_CHECK($VALGRIND csg $STARGS,,ignore) + AT_CLEANUP + AT_SETUP(rocket) +-AT_CHECK($VALGRIND rocket $STARGS,,ignore) ++AT_CHECK(test false && exit 77 || $VALGRIND rocket $STARGS,,ignore) + AT_CLEANUP + AT_SETUP(mmadjacency) + AT_CHECK($VALGRIND mmadjacency $STARGS,,ignore) |