diff options
| -rw-r--r-- | bench/BenchTimer.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bench/BenchTimer.h b/bench/BenchTimer.h index 0a0a5e154..567064360 100644 --- a/bench/BenchTimer.h +++ b/bench/BenchTimer.h @@ -87,7 +87,12 @@ public: { m_times[CPU_TIMER] = getCpuTime() - m_starts[CPU_TIMER]; m_times[REAL_TIMER] = getRealTime() - m_starts[REAL_TIMER]; + #if EIGEN_VERSION_AT_LEAST(2,90,0) m_bests = m_bests.cwiseMin(m_times); + #else + m_bests(0) = std::min(m_bests(0),m_times(0)); + m_bests(1) = std::min(m_bests(1),m_times(1)); + #endif m_totals += m_times; } |