In some places I have git in $HOME/git.git
Junio C Hamano committed
Apr 19, 2009 at 19:35 UTC
00eb767ac95162a363eccc80740c8521f8c91e74
1 file changed
+1
-1
DoKernelOrg
+1
-1
index 3fbfe5e064..d5637c5fd3 100755
--- a/DoKernelOrg
+++ b/DoKernelOrg
@@ -10,7 +10,7 @@ esac
: ${J='-l 4 -j'}
G=/pub/software/scm/git &&
-cd $HOME/git &&
+(cd $HOME/git 2>/dev/null || cd $HOME/git.git || exit ) &&
make clean >/dev/null 2>&1 &&
git reset --hard &&
make clean >/dev/null 2>&1 &&