diff --git a/libs/mpi b/libs/mpi index c8fe71649f..db5ad35a18 160000 --- a/libs/mpi +++ b/libs/mpi @@ -1 +1 @@ -Subproject commit c8fe71649f644619ea7fe8ffb71e7ce1c52f3e47 +Subproject commit db5ad35a182bd723684bc53bae542ef145949757 diff --git a/tools/build b/tools/build index b545b0257e..1deaaf0b58 160000 --- a/tools/build +++ b/tools/build @@ -1 +1 @@ -Subproject commit b545b0257e0a7a860d8cfcd06f3fb26139e8bc7b +Subproject commit 1deaaf0b585117f3b9d2c1c381ecae5db5cdda39