Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Stupid Github CI make doesn't take environment variables into account. We have to override them explicitly, hence the ridiculous CC="$CC".
- Loading branch information