projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 32d1ef7) | patch
Only use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 4 Oct 2018 21:22:02 +0000 (14:22 -0700)
committerGitHub <noreply@github.com>
Thu, 4 Oct 2018 21:22:02 +0000 (14:22 -0700)
commit1cd1741449388b48c4d15316f0c9622eb3b89878
treed88bd06bad70e7519e4eb133ee20af976e6fe9fatree
parent32d1ef7990a1bd0931c5f781d5046ddce900effdcommit | diff
Only use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590)

With older versions of CMake, skipped tests are reported as failures,
which is undesirable. This commit changes the CMakeLists file to only
use the `SKIP_RETURN_CODE` property if a newer version of CMake is used.
test/regress/CMakeLists.txt diff | blob | history
test/regress/run_regression.py diff | blob | history