Skip to content

Merge branch 'main' into dudantas/fix-hazard-spawn #5860

Merge branch 'main' into dudantas/fix-hazard-spawn

Merge branch 'main' into dudantas/fix-hazard-spawn #5860

GitHub Actions / shellcheck succeeded Dec 19, 2024 in 1s

reviewdog [shellcheck] report

reported by reviewdog 🐶

Findings (0)
Filtered Findings (3)

start_gdb.sh|18 col 6| Check exit code directly with e.g. 'if mycmd;', not indirectly with $?.
recompile.sh|65 col 30| To redirect stdout+stderr, 2>&1 must be last (or use '{ cmd > file; } 2>&1' to clarify).
docker/config.sh|13 col 11| Use grep -q instead of comparing output with [ -n .. ].