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/tools | |
| 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/tools')
0 files changed, 0 insertions, 0 deletions