Skip to content

Commit

Permalink
Actually ignore errors
Browse files Browse the repository at this point in the history
  • Loading branch information
tautschnig committed Jan 31, 2024
1 parent fdef569 commit 707526a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/setup/macos/install_viewer.sh
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,6 @@ set -x
# Build from source, since there's only a macos-12 bottle which doesn't seem to work.
# Install Python 3.12 first while ignoring errors: the system may provide this
# version, which will hinder brew from installing symlinks
brew install python@3.12
brew install python@3.12 || true
brew install -s aws/tap/cbmc-viewer
echo "Installed: $(cbmc-viewer --version)"

0 comments on commit 707526a

Please sign in to comment.