it seems we can no longer print the available configure options in master
[szampini@localhost petsc]$ ./configure --help
===============================================================================
Configuring PETSc to compile on your system=============================================================================== -- Stefano
