diff --git a/tools/build b/tools/build index 8d52b08d83..ec6d671cf3 160000 --- a/tools/build +++ b/tools/build @@ -1 +1 @@ -Subproject commit 8d52b08d83b0d3bbc50948896801d4502e3593bf +Subproject commit ec6d671cf38d3909ad4a887597745fb1e4080ee9