diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-24 09:48:04 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-24 10:13:31 +0100 |
| commit | c0d1bfe5386d73f9998e439a0e28e5ec6a4083e1 (patch) | |
| tree | 57f48ccdd41695e2c3c3079e15553a64a300c90d /lib/Core/SeedInfo.cpp | |
| parent | 9fb2f5666d5f8c7c2f335fc8408883a0cf958964 (diff) | |
| download | klee-c0d1bfe5386d73f9998e439a0e28e5ec6a4083e1.tar.gz | |
[CMake] Fix bug where the runtime build system would not rebuild bitcode
archive/modules when the list of source files that constitute it changes. To fix this a file is written in the build directory that contains the list of `.bc` files. This file is updated whenever the list of `.bc` files for a module changes and then the rule that builds the module/archive depends on that file. This fixes a bug reported by @ccadar in #718.
Diffstat (limited to 'lib/Core/SeedInfo.cpp')
0 files changed, 0 insertions, 0 deletions