diff options
Diffstat (limited to 'ci/run_linux_tests.sh')
| -rw-r--r-- | ci/run_linux_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |