projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d46c5c) | patch
FindCaDiCaL: Avoid redirect to file (#6272)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Fri, 2 Apr 2021 16:32:36 +0000 (18:32 +0200)
committerGitHub <noreply@github.com>
Fri, 2 Apr 2021 16:32:36 +0000 (09:32 -0700)
commited1e21df4c7364e9d78f1a5c0605c45640d9ccca
tree52ef6ae898764f4dc5386252d50a268c9357d410tree
parent2d46c5c3921e027fb67fee66c3c9e62ead61438ccommit | diff
FindCaDiCaL: Avoid redirect to file (#6272)

This PR avoids output redirection by replacing sed + redirect with copy + in-place sed.
Using output redirects can cause problems if the cmake output itself is redirected as well.
This should fix the current nightly failure.
cmake/FindCaDiCaL.cmake diff | blob | history