diff options
| author | Johan FitiƩ <jfitie@gmail.com> | 2017-07-26 18:07:18 +0200 |
|---|---|---|
| committer | Johan FitiƩ <jfitie@gmail.com> | 2017-07-26 18:07:18 +0200 |
| commit | 9e34daa17fe77526b70895d9ec5d22fd26356974 (patch) | |
| tree | 7d0deaa758e5d51dac13f5a5ff5782c3e56ba1e6 | |
| parent | 31b3831b9e290d18a510f3865d8ad104df73bfc2 (diff) | |
| download | navit-9e34daa17fe77526b70895d9ec5d22fd26356974.tar.gz | |
Cleanup
| -rw-r--r-- | ci/run_linux_tests.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ci/run_linux_tests.sh b/ci/run_linux_tests.sh index 828d82e7d..3c0231f65 100644 --- a/ci/run_linux_tests.sh +++ b/ci/run_linux_tests.sh @@ -72,13 +72,12 @@ 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 cp navit.xml.bak navit.xml # run gtk test - sed -i -e 's@/media/mmc2/MapsNavit/osm_europe.bin@\$NAVIT_SHAREDIR/maps/berkeley.bin@' navit.xml # Set map sed -i -e 's@name="Local GPS" profilename="car" enabled="yes" active="1"@name="Local GPS" profilename="car" enabled="no" active="0"@' navit.xml sed -i -e 's@name="Demo" profilename="car" enabled="no" @name="Demo" profilename="car" enabled="yes" follow="1" refresh="1"@' navit.xml sed -i -e 's@type="internal" enabled@type="internal" fullscreen="1" font_size="350" enabled@' navit.xml |
