diff --git a/tools/build b/tools/build
index cd9257d1c5..df9871f818 160000
--- a/tools/build
+++ b/tools/build
@@ -1 +1 @@
-Subproject commit cd9257d1c5aa3e0ea065d9ba0cae54acef842747
+Subproject commit df9871f818c5a700c7ec159590f252198238c8af