diff options
-rwxr-xr-x | build_medkit.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build_medkit.sh b/build_medkit.sh index 581c1f7..3861c3b 100755 --- a/build_medkit.sh +++ b/build_medkit.sh @@ -45,6 +45,12 @@ fi # Ensure that we have tools ./scripts/build_tools.sh +# Temporally hack for updater +( +cd .updater +git reset --hard origin/no-replan +make +) # Download api crl chmod +x .get-api-crl |