diff options
author | Johan FitiƩ <jfitie@gmail.com> | 2017-07-26 18:10:27 +0200 |
---|---|---|
committer | Johan FitiƩ <jfitie@gmail.com> | 2017-07-26 18:10:27 +0200 |
commit | 7b6282db07f9a5116af144c00aa22f5de057c09c (patch) | |
tree | 7266d201f555dc1b2fa8dda3c2de9e093b304fde | |
parent | 9e34daa17fe77526b70895d9ec5d22fd26356974 (diff) | |
download | navit-testpitch.tar.gz |
Fixtestpitch
-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 |