upgrade build script

4 years ago · 63a52774e4
parent 70cac8d17d
commit 63a52774e4
1 changed files with 1 additions and 1 deletions
--- a/third_party/acados/build.sh
+++ b/third_party/acados/build.sh
@ -18,7 +18,7 @@ if [ ! -d acados_repo/ ]; then
 fi
 cd acados_repo
 git fetch
-git checkout 08b4ad0b290ea0825c8ddc28111f5071e40d6b43
+git checkout 8b79d4b8128234cf4b9ea7eb4678116ec1490611
 git submodule update --recursive --init

 # build