diff options
Diffstat (limited to '.github/cmake.sh')
| -rwxr-xr-x | .github/cmake.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/cmake.sh b/.github/cmake.sh index 145a843..782334e 100755 --- a/.github/cmake.sh +++ b/.github/cmake.sh @@ -1,11 +1,11 @@ #!/bin/bash set -eux -cmake . -D CMAKE_BUILD_TYPE=Debug +cmake . -D CMAKE_BUILD_TYPE=Debug -D RE2_BUILD_TESTING=ON "$@" cmake --build . --config Debug --clean-first ctest -C Debug --output-on-failure -E 'dfa|exhaustive|random' -cmake . -D CMAKE_BUILD_TYPE=Release +cmake . -D CMAKE_BUILD_TYPE=Release -D RE2_BUILD_TESTING=ON "$@" cmake --build . --config Release --clean-first ctest -C Release --output-on-failure -E 'dfa|exhaustive|random' |