my $GitBranch = get_git_branch();\r
my $GitRepo = get_git_repo();\r
print "Clone git: repo=$GitRepo, branch=$GitBranch\n";\r
-`git clone -b $GitBranch $GitRepo $DistrDir` or die "Error cloning branch $GitBranch to $DistrDir\n";\r
+`git clone -b $GitBranch $GitRepo $DistrDir`; # or die "Error cloning branch $GitBranch to $DistrDir\n";\r
print "Remove $DistrDir/.git directory\n";\r
`rm -fr $DistrDir/.git`;\r
`rm -f $DistrDir/.gitignore $DistrDir/tools/brush_cds.pl $DistrDir/tools/make_distrib.pl $DistrDir/tools/make_distrib.bat $DistrDir/doxygen/images.odp`;\r