diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-03-17 10:05:06 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-03-17 10:59:08 +0000 |
| commit | 2824a126cb32001bdfb0cf43ad90ba1e01c2f71f (patch) | |
| tree | 30cb3e75ea7158cf5738d3ca2fe17568805c88a5 /Makefile.config.in | |
| parent | 8b5188e4237aa172a9c2b3e3efca9fe7a091cf70 (diff) | |
| download | klee-2824a126cb32001bdfb0cf43ad90ba1e01c2f71f.tar.gz | |
test: fix 'not' build
There was a typo and 'not' utility was tried to be built with FileCheck's libraries. But those can be undefined. Fix this by using the correct variable. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions