diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-03 15:28:55 +0000 |
---|---|---|
committer | Dan Liew <delcypher@gmail.com> | 2016-11-07 22:16:29 +0000 |
commit | e853f0bceeb7099acc3df16e52a3cfd1dabad422 (patch) | |
tree | 4a6e2c43d500ed1cce6f622ebaa9c68ba09737ec /lib | |
parent | 6c2bba097639922244201e6140f71ccd14e335c3 (diff) | |
download | klee-e853f0bceeb7099acc3df16e52a3cfd1dabad422.tar.gz |
[CMake] Report git revision information if available.
This is done as a separate commit because it imports third party code. It's under the Boost license though so it "should be" fine.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions