diff options
author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2017-11-17 19:24:14 +0100 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-11-18 11:03:44 +0100 |
commit | 3fc5c6532f1a56f27310fb733a089e1064716b10 (patch) | |
tree | e331109cd47dac48d803bd405ae41a83b40b9b5f /src/lib/.gitignore | |
parent | db505a91d035b5942113c2eace2e356894f60fc8 (diff) | |
download | ouroboros-3fc5c6532f1a56f27310fb733a089e1064716b10.tar.gz ouroboros-3fc5c6532f1a56f27310fb733a089e1064716b10.zip |
build: Fix setting configuration definitions
Variable in cache need to be explicitly unset else they will remain in
the cache and still be defined by #cmakedefine.
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'src/lib/.gitignore')
0 files changed, 0 insertions, 0 deletions