File petsc-3.3-fix-error-detection-in-makefile.patch of Package petsc.15527

Overview Repositories Revisions Requests Users Attributes Meta

File petsc-3.3-fix-error-detection-in-makefile.patch of Package petsc.15527

---
 makefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

--- a/makefile
+++ b/makefile
@@ -32,7 +32,7 @@ all: chk_makej
 	   ${OMAKE} PETSC_ARCH=${PETSC_ARCH} PETSC_DIR=${PETSC_DIR} all-legacy-local 2>&1 | tee -a ${PETSC_ARCH}/lib/petsc/conf/make.log \
                 | ${GREP} -v "has no symbols"; \
 	 fi
-	@egrep -i "( error | error: |no such file or directory)" ${PETSC_ARCH}/lib/petsc/conf/make.log | tee ${PETSC_ARCH}/lib/petsc/conf/error.log > /dev/null
+	@egrep -i "( error |: error: |no such file or directory)" ${PETSC_ARCH}/lib/petsc/conf/make.log | tee ${PETSC_ARCH}/lib/petsc/conf/error.log > /dev/null
 	@if test -s ${PETSC_ARCH}/lib/petsc/conf/error.log; then \
            printf ${PETSC_TEXT_HILIGHT}"**************************ERROR*************************************\n" 2>&1 | tee -a ${PETSC_ARCH}/lib/petsc/conf/make.log; \
            echo "  Error during compile, check ${PETSC_ARCH}/lib/petsc/conf/make.log" 2>&1 | tee -a ${PETSC_ARCH}/lib/petsc/conf/make.log; \

Places

File petsc-3.3-fix-error-detection-in-makefile.patch of Package petsc.15527

Places