commit | e755fb79ba945fea8a318dc343e73d22a39e2f4e | [log] [tgz] |
---|---|---|
author | Cosmin Truta <ctruta@gmail.com> | Thu Oct 19 00:26:54 2023 +0300 |
committer | Cosmin Truta <ctruta@gmail.com> | Thu Oct 19 00:26:54 2023 +0300 |
tree | a4053088350ef46173fe7710a3086fd53790c985 | |
parent | f79c85e22d3381c8ffa2fdf8bf9853e18475145d [diff] |
ci: Quick-fix ci_verify_cmake.sh Avoid using `cmake --option=value` and `ctest --option=value`, to stay compatible with older versions of CMake.