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 /test/Feature/CopyOnWrite.c | |
| 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.
Diffstat (limited to 'test/Feature/CopyOnWrite.c')
0 files changed, 0 insertions, 0 deletions