From f6223f0060446bcf9706d9a9f79a4281f07c9ab7 Mon Sep 17 00:00:00 2001
From: Pierre Jolivet <pierre@joliv.et>
Date: Mon, 11 Dec 2023 19:56:06 +0100
Subject: [PATCH] Trying to debug

---
 3rdparty/ff-petsc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/3rdparty/ff-petsc/Makefile b/3rdparty/ff-petsc/Makefile
index 3c1d9f326..bf8c07bee 100644
--- a/3rdparty/ff-petsc/Makefile
+++ b/3rdparty/ff-petsc/Makefile
@@ -213,7 +213,7 @@ Makefile.inc:../../config.status Makefile Makefile-PETSc.inc
 
 $(SRCDIR)/tag-conf-real:$(SRCDIR)/tag-tar
 	cd $(SRCDIR) && $(PYTHON) ./configure --prefix=$(DIR_INSTALL_REAL) \
-		$(FLAGS_CONF_PETSC_REAL) PETSC_ARCH=fr
+		$(FLAGS_CONF_PETSC_REAL) PETSC_ARCH=fr || cat configure.log;
 	test -f $(SRCDIR)/fr/lib/petsc/conf/petscvariables
 	mkdir -p $(SRCDIR)/fc/externalpackages || true
 	cp -r $(SRCDIR)/fr/externalpackages/git.slepc $(SRCDIR)/fr/externalpackages/git.hpddm $(SRCDIR)/fc/externalpackages || true