Include devel-check status in configure summary

Signed-off-by: Ralph Castain <rhc@pmix.org>
openpmix · May 8, 2024 · 06c9621 · 06c9621
1 parent cb2cfc3
commit 06c9621
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/config/pmix_summary.m4 b/config/pmix_summary.m4
@@ -47,6 +47,12 @@ EOF
         echo "Debug build: yes" >&2
     fi
 
+    if test $WANT_PICKY_COMPILER = 0 ; then
+        echo "Devel check enabled: no" >& 2
+    else
+        echo "Devel check enabled: yes" >& 2
+    fi
+
     if test ! -z $with_pmix_platform ; then
         echo "Platform file: $with_pmix_platform" >&2
     else