Satish Balay <[email protected]> writes: > diff --git a/makefile b/makefile > index a83e810..65c5026 100644 > --- a/makefile > +++ b/makefile > @@ -216,8 +216,17 @@ deletemods: chk_makej > -${RM} -f ${PETSC_DIR}/${PETSC_ARCH}/include/petsc*.mod > > # Cleans up build > -allclean: deletelibs deletemods > +allclean-legacy: deletelibs deletemods > -@${OMAKE} PETSC_ARCH=${PETSC_ARCH} PETSC_DIR=${PETSC_DIR} > ACTION=clean tree > + > +allclean: > + @if [ "${MAKE_IS_GNUMAKE}" != "" ]; then \ > + ${OMAKE} -f gmakefile clean; \ > + elif [ "${PETSC_BUILD_USING_CMAKE}" != "" ]; then \ > + ${OMAKE} -f ${PETSC_ARCH}/Makefile clean; \
This looks like it will have the wrong working directory. Better to run
make from that directory.
Looks fine otherwise.
> + else \
> + ${OMAKE} PETSC_ARCH=${PETSC_ARCH} PETSC_DIR=${PETSC_DIR}
> allclean-legacy; \
> + fi
> #
> reconfigure:
> @${PYTHON} ${PETSC_ARCH}/conf/reconfigure-${PETSC_ARCH}.py
pgp0MA3lksup7.pgp
Description: PGP signature
