Remove python unlink

This commit is contained in:
Rodrigo Q. Saramago 2023-05-04 16:18:46 +02:00 committed by r0qs
parent 41adba0eff
commit 759732d310
No known key found for this signature in database
GPG Key ID: 61503DBA6667276C

View File

@ -52,7 +52,6 @@ function validate_checksum {
if [ ! -f /usr/local/lib/libz3.a ] # if this file does not exists (cache was not restored), rebuild dependencies if [ ! -f /usr/local/lib/libz3.a ] # if this file does not exists (cache was not restored), rebuild dependencies
then then
brew unlink python
brew install boost brew install boost
brew install cmake brew install cmake
brew install wget brew install wget