[petsc-dev] master is broken in plex

[Barry Smith]

                from /sandbox/petsc/petsc.clone-2/include/petsc-private/dmpleximpl.h:4,
                 from /sandbox/petsc/petsc.clone-2/src/dm/impls/plex/plexfem.c:1:
/sandbox/petsc/petsc.clone-2/src/dm/impls/plex/plexfem.c:1131:65: error: expected ‘)’ before ‘__extension__’
 PetscErrorCode DMPlexComputeInterpolatorFEM(DM dmc, DM dmf, Mat I, void *user)
                                                                 ^
/sandbox/petsc/petsc.clone-2/src/dm/impls/plex/plexfem.c:1131:68: error: expected ‘;’, ‘,’ or ‘)’ before ‘void’
 PetscErrorCode DMPlexComputeInterpolatorFEM(DM dmc, DM dmf, Mat I, void *user)
                                                                    ^
make[2]: *** [arch-linux-gcc-ifc/obj/src/dm/impls/plex/plexfem.o] Error 1
make[2]: *** Waiting for unfinished jobs....
          CC arch-linux-gcc-ifc/obj/src/dm/impls/plex/ftn-auto/plexexodusiif.o
          CC arch-linux-gcc-ifc/obj/src/dm/impls/plex/ftn-auto/plexcgnsf.o
make[2]: Leaving directory `/sandbox/petsc/petsc.clone-2'
make[1]: *** [gnumake] Error 2
make[1]: Leaving directory `/sandbox/petsc/petsc.clone-2’