diff options
Diffstat (limited to 'src/navigation/update_third_party.sh')
-rwxr-xr-x | src/navigation/update_third_party.sh | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/navigation/update_third_party.sh b/src/navigation/update_third_party.sh new file mode 100755 index 0000000..a8b0dab --- /dev/null +++ b/src/navigation/update_third_party.sh @@ -0,0 +1,27 @@ +#!/bin/bash + +build_option="" +positioning_version='9725fe1f553197042d6445997690d452a73490c0' +navit_version='28478e7f26c1a0eedc06fb4765e2f736079c6f0c' + +echo "version of positioning is: $positioning_version" +echo "version of navit is: $navit_version" + +echo "This script deletes and reloads all the third party software" +read -r -p "Are you sure ? [y/N] " input + +case "$input" in + [y/Y]) + ./update_navit $navit_version + ./update_positioning $positioning_version + echo "Please rebuild with at least -c option" + ;; + *) + exit 1 + ;; +esac + + + + + |