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