diff --git a/third_party/acados/build.sh b/third_party/acados/build.sh index 9216032e98d028..888a067a483569 100755 --- 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 79e9e3e76f2751198858adf382c97837833ad31f +git checkout 92b85c61f7358a1b08b7cd30aeb9d32ad15942e8 git submodule update --recursive --init # build