From 968855e0a4b3c5554051be78f1864489ae533b93 Mon Sep 17 00:00:00 2001
From: Marc CARRE <carre.marc@gmail.com>
Date: Thu, 9 Feb 2017 11:29:51 +0000
Subject: [PATCH] Upgrade to latest build-tools.

Make tools/provisioning/setup.sh behave consistently regardless of whether under Linux or macOS, and whether sourced or executed.
---
 tools | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools b/tools
index efcf9d21..51785b5f 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit efcf9d21e09ccd52e00f973a42c78ad08b33e92c
+Subproject commit 51785b5fc923a6db5d2ee5ae7bffca97d43d1c66