Building PAPI port on FreeBSD 10

[Harald Servat]

Seems good to me.

Thank you for sending the patch.
El 22/10/2012 7:01, "hiren panchasara" <hiren.panchasara at gmail.com> va
escriure:

> --- configure.orig      2012-10-21 21:46:34.996150862 -0700
> +++ configure   2012-10-21 21:40:23.478149927 -0700
> @@ -5800,7 +5800,7 @@
>      MAKEVER="freebsd"
>      LDFLAGS="-lpmc"
>      # HWPMC driver is available for FreeBSD >= 6
> -    FREEBSD_VERSION=`uname -r | cut -c 1`
> +    FREEBSD_VERSION=`uname -r | cut -d'.' -f1`
>      if test "${FREEBSD_VERSION}" -lt 6 ; then
>        as_fn_error "PAPI requires FreeBSD 6 or greater" "$LINENO" 5
>      fi
>
> Without this change, "make install" fails as it cannot grep correct major
> os revision number.
>
> Let me know if this change looks fine.
>
> Thanks,
> Hiren
>
> P.S: I am not subscribed to this list so please keep me in the loop.
>
>