From e2f56b6bbb4bee1d1384b2b23930e108449d30b2 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Mon, 13 Jan 2014 18:58:14 +0000
Subject: Only run klee-uclibc tests if KLEE was configured with klee-uclibc
 support.

---
 test/Runtime/Uclibc/lit.local.cfg | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 test/Runtime/Uclibc/lit.local.cfg

(limited to 'test/Runtime')

diff --git a/test/Runtime/Uclibc/lit.local.cfg b/test/Runtime/Uclibc/lit.local.cfg
new file mode 100644
index 00000000..c9944834
--- /dev/null
+++ b/test/Runtime/Uclibc/lit.local.cfg
@@ -0,0 +1,7 @@
+def getRoot(config):
+    if not config.parent:
+        return config
+    return getRoot(config.parent)
+
+if not getRoot(config).enable_uclibc:
+    config.unsupported = True
-- 
cgit 1.4.1