diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-02-04 19:56:57 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-02-04 19:56:57 +0000 |
| commit | f629a6d1ec51b39334c78bce354b3efb245c35b3 (patch) | |
| tree | eaaf3c1339782a6fb2536821af0b6e195dfcfa69 /Makefile.config.in | |
| parent | 499a6c2133692846d4547c2c9409978a15bf5d9a (diff) | |
| download | klee-f629a6d1ec51b39334c78bce354b3efb245c35b3.tar.gz | |
Explicitly propagate CPLUS_INCLUDE_PATH and C_INCLUDE_PATH environment
variables in llvm-lit. This should hopefully fix the build bot. The propagation of environmental variables was also slightly refactored.
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions