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 | |
| parent | e755542cb3be2cb9510630748712bb5cb6e58ffb (diff) | |
| parent | 454ab56fcecb35c0b24dc2f0bed6b8551a797fac (diff) | |
Merge branch 'dev' into typo
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/cmake_bootstrap.sh | 2 | ||||
| -rwxr-xr-x | scripts/copy_module_armv7_m.sh | 2 |
2 files changed, 2 insertions, 2 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 diff --git a/scripts/copy_module_armv7_m.sh b/scripts/copy_module_armv7_m.sh index 8dbd834c..a0ddcd27 100755 --- a/scripts/copy_module_armv7_m.sh +++ b/scripts/copy_module_armv7_m.sh @@ -44,7 +44,7 @@ do echo "$source_inc_folder -> $target" cp -rf $source_inc_folder/* $target find $target -type f -exec sed -i "s/$source_string/$target_string_pre${mcu: -1}/g" {} \; - + # Copy common files source=$source_folder/$source_common_folder; target=$ports_module_folder/$mcu/$ide/$target_common_folder |