diff options
author | Lukas Zaoral <lzaoral@redhat.com> | 2021-04-07 21:33:36 +0200 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-04-08 20:53:32 +0100 |
commit | 292600cf54d5fd73278f67a4f98c2f955cbdaa10 (patch) | |
tree | 37f4453a0dc75e1269545c905a80dab45a9a8fb9 /.github | |
parent | 36780583dd78865100114b02627a3418b2d56deb (diff) | |
download | klee-292600cf54d5fd73278f67a4f98c2f955cbdaa10.tar.gz |
cmake: Fix CMP0026 policy deprecation warning
CMake 3.19+ started to issue warnings if this policy is set to OLD: CMake Deprecation Warning at test/CMakeLists.txt:143 (cmake_policy): The OLD behavior for policy CMP0026 will be removed from a future version of CMake. The cmake-policies(7) manual explains that the OLD behaviors of all policies are deprecated and that a policy should be set to OLD only under specific short-term circumstances. Projects should be ported to the NEW behavior and not rely on setting a policy to OLD.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions