Skip to content

Fix find Extrae problem

VALENTIN SEITZ requested to merge fix-find-extrae into master

Currently if Extrae is not in your system path, we rely on $Extrae_HOME to be set. But the modules normally set the stuff in all Caps. So we are moving to $EXTRAE_HOME as well.

Merge request reports