From 7b6282db07f9a5116af144c00aa22f5de057c09c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Johan=20Fiti=C3=A9?= Date: Wed, 26 Jul 2017 18:10:27 +0200 Subject: Fix --- ci/run_linux_tests.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/run_linux_tests.sh b/ci/run_linux_tests.sh index 3c0231f65..1a210dcb7 100644 --- a/ci/run_linux_tests.sh +++ b/ci/run_linux_tests.sh @@ -72,7 +72,7 @@ do do for y in 240 400 480 720 1080 1440 1600 2160 # y resolution do - if [ $RANDOM -lt 32767/4 ] + if [[ $RANDOM -lt 32767/4 ]] then # 2*7*8/~4=~28 test vectors # restore config -- cgit v1.2.1