[petsc-dev] Is ./configure --help broken?

[Stefano Zampini]

it seems we can no longer print the available configure options in master

[szampini at localhost petsc]$ ./configure --help
===============================================================================
             Configuring PETSc to compile on your system

===============================================================================


-- 
Stefano
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20180315/e5bc932f/attachment.html>