blob: 63f845442cbc22bf655d74d488304a77b035a125 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- 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;}
|
