diff options
Diffstat (limited to 'src/navigation/clone_and_build.sh')
-rwxr-xr-x | src/navigation/clone_and_build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/navigation/clone_and_build.sh b/src/navigation/clone_and_build.sh index 02527c9..4cd4c53 100755 --- a/src/navigation/clone_and_build.sh +++ b/src/navigation/clone_and_build.sh @@ -1,8 +1,8 @@ #!/bin/bash build_option="" -positioning_version='57345f36fa6095ecb6d7f7998a06abafbcd90a87' -navit_version='5607f355e77250cebd5326a7c7959eb07c12adc2' +positioning_version='9725fe1f553197042d6445997690d452a73490c0' +navit_version='995cec54c8682fbabfb4f912b6156ce0b5b43436' echo "version of positioning is: $positioning_version" echo "version of navit is: $navit_version" |