diff --git a/script/run_local_ci.sh b/script/run_local_ci.sh
index fbfd4f4..b290326 100755
--- a/script/run_local_ci.sh
+++ b/script/run_local_ci.sh
@@ -233,7 +233,7 @@
 export -f run_one_test
 
 workspace="${workspace:?}"
-if [ "$retain_paths" -eq 0 ]; then
+if [[ "$retain_paths" -eq 0 ]]; then
 	gcc_space="${gcc_space:?Environment variable 'gcc_space' must be set}"
 fi
 ci_root="$(readlink -f "$(dirname "$0")/..")"