diff options
author | Dan Liew <delcypher@gmail.com> | 2014-04-16 17:20:30 +0100 |
---|---|---|
committer | Dan Liew <delcypher@gmail.com> | 2014-04-16 17:20:30 +0100 |
commit | 7f44b9346356c91f633c6de6939c33a45756ae7e (patch) | |
tree | e3e0f9ba2f361cb19136f6f4a19e3036003b87dd /.gitignore | |
parent | 5cfeffaa50050cda735de24fb6a821dacd157d26 (diff) | |
parent | 7f4ae9b520aa1f1e5df789d237e66c87bd05db96 (diff) | |
download | klee-7f44b9346356c91f633c6de6939c33a45756ae7e.tar.gz |
Merge pull request #111 from s-falke/no_uclibc
Fixed compilation error if uClibc is not used.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions