chore: Prefer [[
over [
in bash build scripts
#2543
+3
−3
Merged