From 426892ec0d3e1d787f083fbdd9cc1039b1ea73db Mon Sep 17 00:00:00 2001 From: Marc Lanctot Date: Thu, 5 Dec 2024 10:48:28 -0330 Subject: [PATCH] Update install.sh --- open_spiel/scripts/install.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/open_spiel/scripts/install.sh b/open_spiel/scripts/install.sh index f81866b0bc..62ee8c6f56 100755 --- a/open_spiel/scripts/install.sh +++ b/open_spiel/scripts/install.sh @@ -40,8 +40,7 @@ function check_install_python() { rm -f /usr/local/bin/2to3-${OS_PYTHON_VERSION} rm -f /usr/local/bin/idle${OS_PYTHON_VERSION} rm -f /usr/local/bin/pydoc${OS_PYTHON_VERSION} - rm -f /usr/local/bin/python${OS_PYTHON_VERSION} - rm -f /usr/local/bin/python${OS_PYTHON_VERSION}-config + rm -f /usr/local/bin/python${OS_PYTHON_VERSION}* trap 'ret=0; output=$(brew list --versions | grep "python ${OS_PYTHON_VERSION}") || ret="$?"; trap - RETURN' RETURN if [[ "$output" = "" ]]; then brew install "python@${OS_PYTHON_VERSION}"