From e2f66d824650d81fa5650332d776377fa02abf5a Mon Sep 17 00:00:00 2001
From: Lutz Roeder <lutzroeder@users.noreply.github.com>
Date: Fri, 15 Jun 2018 23:55:21 -0700
Subject: [PATCH] Run -update scripts in Python 3

---
 tools/update | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/tools/update b/tools/update
index 4ad522ea47..57cd84a223 100755
--- a/tools/update
+++ b/tools/update
@@ -2,8 +2,10 @@
 
 set -e
 
-# export python=python3
-# export pip=pip3
+if [ $(which python3) ] && [ $(which pip3) ]; then
+    export python=python3
+    export pip=pip3
+fi
 
 root=$(cd $(dirname ${0})/..; pwd)
 tools=${root}/tools