diff options
| author | Frédéric Desbiens <[email protected]> | 2026-04-15 11:36:53 -0400 |
|---|---|---|
| committer | GitHub <[email protected]> | 2026-04-15 11:36:53 -0400 |
| commit | f81d1c9eb5a0bc16ba26426e5274f7248a7c8646 (patch) | |
| tree | a036816ab14c9e6d97e44486ecbd571d7f925d32 /scripts/cmake_bootstrap.sh | |
| parent | e755542cb3be2cb9510630748712bb5cb6e58ffb (diff) | |
| parent | 454ab56fcecb35c0b24dc2f0bed6b8551a797fac (diff) | |
Merge branch 'dev' into typo
Diffstat (limited to 'scripts/cmake_bootstrap.sh')
| -rwxr-xr-x | scripts/cmake_bootstrap.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/cmake_bootstrap.sh b/scripts/cmake_bootstrap.sh index c5d59ac0..b7b314fa 100755 --- a/scripts/cmake_bootstrap.sh +++ b/scripts/cmake_bootstrap.sh @@ -37,7 +37,7 @@ function build_libs() { function test() { pushd build/$1 [ -z "${CTEST_PARALLEL_LEVEL}" ] && parallel="-j$2" - if [ -z "${CTEST_REPEAT_FAIL}" ]; + if [ -z "${CTEST_REPEAT_FAIL}" ]; then repeat_fail=2 else |