diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-14 18:10:21 +0000 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-20 14:46:53 +0000 |
commit | c2a8ad5bacc783be5d64e07a3e4b327e18cc09be (patch) | |
tree | 1c27f4178f3bf9e710e8b401092ff4197c8dce6e /test | |
parent | 54b5b1d8fc99376fccbbcb471825012dfa1e4017 (diff) | |
download | klee-c2a8ad5bacc783be5d64e07a3e4b327e18cc09be.tar.gz |
Explicitly use only one thread when invoking llvm-lit in TestRunner.sh
We need to fix the test suite so we can run it in parallel.
Diffstat (limited to 'test')
-rwxr-xr-x | test/TestRunner.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/TestRunner.sh b/test/TestRunner.sh index ab50856a..3a69604b 100755 --- a/test/TestRunner.sh +++ b/test/TestRunner.sh @@ -2,4 +2,5 @@ # Deprecated, use 'llvm-lit'. echo "warning: '$0' is deprecated, use 'llvm-lit' instead." -exec llvm-lit "$@" +# FIXME: Make test suite work in parallel. +exec llvm-lit --threads=1 "$@" |