Home
last modified time | relevance | path

Searched refs:isDirectoryGitRepo (Results 1 – 3 of 3) sorted by relevance

/petsc/config/BuildSystem/
H A Dretrieval.py32 elif os.path.isdir(url) and self.isDirectoryGitRepo(url):
53 def isDirectoryGitRepo(self, directory): member in Retriever
144 if os.path.isdir(url) and not self.isDirectoryGitRepo(url):
/petsc/config/BuildSystem/config/packages/
H A Ducx.py51 if self.retriever.isDirectoryGitRepo(self.packageDir):
H A DMPICH.py114 if self.retriever.isDirectoryGitRepo(self.packageDir):