Commit dfe01667 authored by Andreas Marek's avatar Andreas Marek

Fix error in configure PAPI detection

An error has been reported that the detection of PAPI did not
work correctly.
parent 54d12975