diff --git a/tools/check_build b/tools/check_build
index cba3cb65ae..d5a0752790 160000
--- a/tools/check_build
+++ b/tools/check_build
@@ -1 +1 @@
-Subproject commit cba3cb65ae203608b075d7e2d9570b7ea4e76ccd
+Subproject commit d5a07527906a8779fbe2b994ff9d287fb0c31af0