diff --git a/tools/build b/tools/build index 34941780dd..b12a902687 160000 --- a/tools/build +++ b/tools/build @@ -1 +1 @@ -Subproject commit 34941780dd32e32eaa616280e9a9f8991b1ed9de +Subproject commit b12a902687363924060819268a01f70516569b24