--- configure.orig 2015-12-03 22:41:27 UTC +++ configure @@ -6946,7 +6946,7 @@ echo "$as_me: error: PAPI requires FreeB { (exit 1); exit 1; }; } fi # Determine if HWPMC module is on the kernel - dmesg | grep hwpmc 2> /dev/null > /dev/null + sysctl -a | grep hwpmc 2> /dev/null > /dev/null if test "$?" != "0" ; then { { echo "$as_me:$LINENO: error: HWPMC module not found. (see INSTALL.TXT)" >&5 echo "$as_me: error: HWPMC module not found. (see INSTALL.TXT)" >&2;}