Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixing obvious minor typo (missing
D
in -DOWNLOAD_EIGEN=ON
).
Typo introduced with PR #2377. Adopting fix from @AWhetter PR #2621 (to keep unrelated changes cleanly separated).
- Loading branch information