Commit 6f693e19 authored by Christophe Geuzaine's avatar Christophe Geuzaine

Merge branch 'profile-build' into 'master'

Add ENABLE_PROFILE build option for profiling with perf

Closes #416

See merge request !169
parents 85d8e5ce 9ee85419
Pipeline #2113 passed with stage
in 65 minutes and 31 seconds