src/navigation/update_navit.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

#!/bin/bash

if [ $# -eq 0 ]
 then
  echo "Need navit commit version"
  exit
fi

navit_version=$1


rm -rf build/navit
rm -rf navit

git clone https://github.com/navit-gps/navit.git
cd navit
git checkout $navit_version
patch -p0 -i ../patches/search_list_get_unique.diff
patch -p0 -i ../patches/fsa_issue_padding.diff
cd ../