[petsc-users] Could not execute "['git', 'rev-parse', '--git-dir']"

[Satish Balay]

On Wed, 7 Mar 2018, Kong, Fande wrote:

> > If you need to workarround this - you can comment out that test (3lines)..
> >
> >   File "/home/kongf/workhome/projects/petsc-3.7.7/config/
> > BuildSystem/config/package.py", line 519, in updateGitDir
> >     gitdir,err,ret = config.base.Configure.executeShellCommand([self.sourceControl.git,
> > 'rev-parse','--git-dir'], cwd=self.packageDir, log = self.log)
> >
> >
> 
> "#self.updateGitDir()"  works.

I meant just the 3 lines - not the whole function.


diff --git a/config/BuildSystem/config/package.py b/config/BuildSystem/config/package.py
index 85663247ce..439b2105c5 100644
--- a/config/BuildSystem/config/package.py
+++ b/config/BuildSystem/config/package.py
@@ -516,9 +516,9 @@ class Package(config.base.Configure):
       # verify that packageDir is actually a git clone
       if not os.path.isdir(os.path.join(self.packageDir,'.git')):
         raise RuntimeError(self.packageDir +': is not a git repository! '+os.path.join(self.packageDir,'.git')+' not found!')
-      gitdir,err,ret = config.base.Configure.executeShellCommand([self.sourceControl.git, 'rev-parse','--git-dir'], cwd=self.packageDir, log = self.log)
-      if gitdir != '.git':
-        raise RuntimeError(self.packageDir +': is not a git repository! "git rev-parse --gitdir" gives: '+gitdir)
+      #gitdir,err,ret = config.base.Configure.executeShellCommand([self.sourceControl.git, 'rev-parse','--git-dir'], cwd=self.packageDir, log = self.log)
+      #if gitdir != '.git':
+      #  raise RuntimeError(self.packageDir +': is not a git repository! "git rev-parse --gitdir" gives: '+gitdir)
 
       prefetch = 0
       if self.gitcommit.startswith('origin/'):

Satish