File: ignore_git_hidden_folder_in_petscclone_py.patch

package info (click to toggle)
petsc 3.23.1%2Bdfsg1-1exp1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 515,576 kB
  • sloc: ansic: 751,607; cpp: 51,542; python: 38,598; f90: 17,352; javascript: 3,493; makefile: 3,157; sh: 1,502; xml: 619; objc: 445; java: 13; csh: 1
file content (11 lines) | stat: -rw-r--r-- 581 bytes parent folder | download 
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')