1
2
3
4
5
6
7
8
9
10
11
12
13
|
Index: petsc/config/PETSc/options/petscclone.py
===================================================================
--- petsc.orig/config/PETSc/options/petscclone.py 2025-11-05 12:08:30.698741867 +0100
+++ petsc/config/PETSc/options/petscclone.py 2025-11-05 12:08:30.692055949 +0100
@@ -41,7 +41,7 @@
else:
self.logPrint('This repository clone is obtained as a tarball as no .git dirs exist')
else:
- if os.path.exists(os.path.join(self.petscdir.dir, '.git')):
+ if False and os.path.exists(os.path.join(self.petscdir.dir, '.git')):
raise RuntimeError('Your PETSc source tree is broken. Use "git status" to check, or remove the entire directory and start all over again')
else:
self.logPrint('This is a tarball installation')
|
