diff options
author | Julian Andres Klode <jak@debian.org> | 2017-06-30 17:50:23 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2017-06-30 18:16:42 +0200 |
commit | 551861110db67c7bad2bd0715f46191454c0b9a7 (patch) | |
tree | 15c9482e1b5ae761df5952ef165f2632d47cfc73 /CMake/Documentation.cmake | |
parent | 6a0e7acbf01e22665d89a9c6556f3a8220a78756 (diff) |
CMake: Do not allow FORCE_CURL=ON with WITH_CURL=OFF
This makes no sense. We need both entries in the cache, as
we check FORCE_CURL in the test suite.
Gbp-Dch: ignore
Diffstat (limited to 'CMake/Documentation.cmake')
0 files changed, 0 insertions, 0 deletions