_DIR=${PETSC_DIR} test5.rm ; \
	<font color="#4169E1">else</font> fail=1; fi; \
	exit $$fail

<strong><font color="#FF0000">testtest7f:</font></strong> test7f.PETSc
	@fail=0; <font color="#4169E1">if</font> [ <font color="#666666">"${PETSC_WITH_BATCH}"</font> != <font color="#666666">""</font> ]; then \
	  echo <font color="#666666">"Running with batch filesystem; to test run src/eps/tests/test7f "</font> ; \
	  echo <font color="#666666">"with your systems batch system"</font>; \
	elif [ <font color="#6666