Re: Build failure in dev - papi-related

[fche@xxxxxxxxxx (Frank Ch. Eigler)]

Nathan Scott <nathans@xxxxxxxxxx> writes:

> Just confirming that reverting 67bec4f21ddc resolves the problem,
> as one would expect.

Ah, sorry about that.  This should fix it:

diff --git a/configure b/configure
index 548dac3785a2..13782735d9c2 100755
--- a/configure
+++ b/configure
@@ -10095,7 +10095,7 @@ pmda_papi=false
     savedLIBS=$LIBS
 
     case "$do_papi" in
-      yes|no) ;;
+       yes|no|check) ;;
         */*) PAPI_ROOTDIR=$do_papi;
              CFLAGS="-I$PAPI_ROOTDIR/include"
              LDFLAGS="-L$PAPI_ROOTDIR/lib" ;;
diff --git a/configure.ac b/configure.ac
index 36b158dc6e51..8190efcb4b49 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1302,7 +1302,7 @@ AS_IF([test "x$do_papi" != "xno"], [
     savedLIBS=$LIBS
 
     case "$do_papi" in
-      yes|no) ;;
+       yes|no|check) ;;
         */*) PAPI_ROOTDIR=$do_papi;
              CFLAGS="-I$PAPI_ROOTDIR/include"
              LDFLAGS="-L$PAPI_ROOTDIR/lib" ;;