Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Parallel builds are nice and dandy if they work, but apparently this breaks certain things now, so disable it for now. We might re-enable it at a later stage if things are too slow; but for now, let's prefer correctness over speed.
- Loading branch information