From 7b38052a21916c67a75f57da3482276dcdf26ab1 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Wed, 7 May 2014 18:43:45 +0100 Subject: For lit test infrastructure, disable running tests in AbsHoudini/ test17/ z3api/ because the alltests.txt claims they are "Postponed" --- Test/test17/lit.local.cfg | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 Test/test17/lit.local.cfg (limited to 'Test/test17') diff --git a/Test/test17/lit.local.cfg b/Test/test17/lit.local.cfg new file mode 100644 index 00000000..94140b6b --- /dev/null +++ b/Test/test17/lit.local.cfg @@ -0,0 +1,2 @@ +# Do not run tests in this directory and below +config.unsupported = True -- cgit v1.2.3