From 0d3f0b01aab9e548d67eaa569d0991201f76e71e Mon Sep 17 00:00:00 2001 From: Geoffrey Irving Date: Sat, 12 Oct 2013 16:08:27 -0700 Subject: [PATCH] makefile: Fix number of stars --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index 5caf928..8259908 100644 --- a/makefile +++ b/makefile @@ -34,7 +34,7 @@ all: chk_makej fi @egrep -i "( error | error: |no such file or directory)" ${PETSC_ARCH}/conf/make.log | tee ${PETSC_ARCH}/conf/error.log > /dev/null @if test -s ${PETSC_ARCH}/conf/error.log; then \ - printf ${PETSC_TEXT_HILIGHT}"**************************ERROR************************************\n" 2>&1 | tee -a ${PETSC_ARCH}/conf/make.log; \ + printf ${PETSC_TEXT_HILIGHT}"**************************ERROR*************************************\n" 2>&1 | tee -a ${PETSC_ARCH}/conf/make.log; \ echo " Error during compile, check ${PETSC_ARCH}/conf/make.log" 2>&1 | tee -a ${PETSC_ARCH}/conf/make.log; \ echo " Send it and ${PETSC_ARCH}/conf/configure.log to petsc-maint@mcs.anl.gov" 2>&1 | tee -a ${PETSC_ARCH}/conf/make.log;\ printf "********************************************************************"${PETSC_TEXT_NORMAL}"\n" 2>&1 | tee -a ${PETSC_ARCH}/conf/make.log;\ -- 1.8.1.2