diff --git a/services/libfuzzer/launch.sh b/services/libfuzzer/launch.sh index 7a0358ff..113ce07d 100755 --- a/services/libfuzzer/launch.sh +++ b/services/libfuzzer/launch.sh @@ -116,7 +116,7 @@ fi exit_code=$? echo "returned $exit_code" >&2 -if [ "$exit_code" -eq 124 ]; then +if [[ "$exit_code" -eq 124 ]]; then # timeout coreutil exit code. exit 0 else