Merge branch 'release/0.10' into develop
This commit is contained in:
commit
fd63dd79f8
@ -3,7 +3,7 @@
|
|||||||
set -e
|
set -e
|
||||||
|
|
||||||
# Workaround homebrew bug, see https://twitter.com/axccl/status/1083393735277363205 and https://github.com/openPMD/openPMD-api/pull/431/files
|
# Workaround homebrew bug, see https://twitter.com/axccl/status/1083393735277363205 and https://github.com/openPMD/openPMD-api/pull/431/files
|
||||||
brew upgrade --cleanup || brew upgrade --cleanup
|
#brew upgrade --cleanup || brew upgrade --cleanup
|
||||||
|
|
||||||
# Install newer GCC if we're running on GCC
|
# Install newer GCC if we're running on GCC
|
||||||
if [ "${CXX}" == "g++" ]; then
|
if [ "${CXX}" == "g++" ]; then
|
||||||
|
Loading…
x
Reference in New Issue
Block a user