From ceb40a6236b16fe4df7e72857161c778074ddeaf Mon Sep 17 00:00:00 2001
From: Antonio De Lucreziis <antonio.delucreziis@gmail.com>
Date: Mon, 4 Mar 2024 00:30:47 +0100
Subject: [PATCH] updated workflow

---
 .github/workflows/make.yml | 2 ++
 Makefile                   | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/make.yml b/.github/workflows/make.yml
index d942875..55d6b67 100644
--- a/.github/workflows/make.yml
+++ b/.github/workflows/make.yml
@@ -26,6 +26,8 @@ jobs:
 
     - name: Build
       run: |
+        pwd
+        ls deps/petsc
         git submodule init
         git submodule update
         make
diff --git a/Makefile b/Makefile
index 32bfaa3..4e3c826 100644
--- a/Makefile
+++ b/Makefile
@@ -31,7 +31,7 @@ deps: deps/petsc
 
 deps/%:
 	cd $@ && ./configure
-	cd $@ && make	
+	cd $@ && make
 
 print:
 	@echo ====== PETSc ======