Merge pull request #8695 from radarhere/miniconda

This commit is contained in:
Hugo van Kemenade 2025-01-16 14:12:20 +02:00 committed by GitHub
commit e59549f4e5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -3,8 +3,5 @@
set -e set -e
python3 -m coverage erase python3 -m coverage erase
if [ $(uname) == "Darwin" ]; then
export CPPFLAGS="-I/usr/local/miniconda/include";
fi
make clean make clean
make install-coverage make install-coverage