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 ======