1
2
3
4
5
6
7
8
9
10
11
|
--- a/config/PETSc/options/petscclone.py
+++ b/config/PETSc/options/petscclone.py
@@ -43,7 +43,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')
|
