]> git.notmuchmail.org Git - fips/commitdiff
Fix fips to work even without the AMD_performance_monitor extension.
authorCarl Worth <cworth@cworth.org>
Mon, 4 Nov 2013 23:44:23 +0000 (15:44 -0800)
committerCarl Worth <cworth@cworth.org>
Mon, 4 Nov 2013 23:44:23 +0000 (15:44 -0800)
Even without the extension, we can still do timer queries and print
the time spent in each operation. So detect that the extension is
available, and then use that information to avoid calling into any
functions that are only made available with that extension.


No differences found