From 8a460a94c6a442e22187e8b5b3560bed34460f4b Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Mon, 13 Jan 2014 18:30:12 +0000
Subject: Remove the last remnants (I think) of DejaGNU. Goodbye!

Say hello to our new friend, llvm-lit :)
---
 test/Runtime/Uclibc/dg.exp | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 test/Runtime/Uclibc/dg.exp

(limited to 'test/Runtime/Uclibc')

diff --git a/test/Runtime/Uclibc/dg.exp b/test/Runtime/Uclibc/dg.exp
deleted file mode 100644
index 9c1663c3..00000000
--- a/test/Runtime/Uclibc/dg.exp
+++ /dev/null
@@ -1,5 +0,0 @@
-load_lib llvm.exp
-
-if { [klee_supports_uclibc] } {
-    RunLLVMTests [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,llx,c,cpp,tr}]]
-}
-- 
cgit 1.4.1


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/Uclibc')

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