diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-13 02:23:10 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-20 14:46:52 +0000 |
| commit | fba6feb650c74ac9def2a38be137b1d62e68cc84 (patch) | |
| tree | 4b087d55f3eeb3652c4ef19f6701dd3a97d08e23 | |
| parent | 3be371b38bba7facc74490f713659d99d621830d (diff) | |
| download | klee-fba6feb650c74ac9def2a38be137b1d62e68cc84.tar.gz | |
Force python2 to be used when running llvm-lit. This needs to be fixed
properly at configure time at some point.
| -rw-r--r-- | test/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/Makefile b/test/Makefile index 4bc63b66..6a0184e2 100644 --- a/test/Makefile +++ b/test/Makefile @@ -51,12 +51,14 @@ check-local:: site.exp endif check-local-lit:: lit.site.cfg + # FIXME: Detect python at configure time ( $(ULIMIT) \ - $(LLVM_SRC_ROOT)/utils/lit/lit.py $(LIT_ARGS) $(LIT_TESTSUITE) ) + python2 $(LLVM_SRC_ROOT)/utils/lit/lit.py $(LIT_ARGS) $(LIT_TESTSUITE) ) check-local-all:: lit.site.cfg + # FIXME: Detect python at configure time ( $(ULIMIT) \ - $(LLVM_SRC_ROOT)/utils/lit/lit.py $(LIT_ARGS) $(LIT_TESTSUITE) ) + python2 $(LLVM_SRC_ROOT)/utils/lit/lit.py $(LIT_ARGS) $(LIT_TESTSUITE) ) ifdef TESTONE CLEANED_TESTONE := $(patsubst %/,%,$(TESTONE)) |