From 915f9ad107055661e2064b07be3b462ec8f099e6 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Thu, 5 Sep 2019 13:43:11 +0530
Subject: [PATCH] Use correct python executable name on macOS

---
 setup/unix-ci.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/setup/unix-ci.py b/setup/unix-ci.py
index 419dc1f847..d569306371 100644
--- a/setup/unix-ci.py
+++ b/setup/unix-ci.py
@@ -77,6 +77,8 @@ def download_and_decompress(url, dest, compression=None):
 
 def run_python(*args):
     python = os.path.expandvars('$SW/bin/python')
+    if ismacos:
+        python += 2
     if len(args) == 1:
         args = shlex.split(args[0])
     args = [python] + list(args)