Formatting

[libcds.git] / tools / make_distrib.pl

diff --git a/tools/make_distrib.pl b/tools/make_distrib.pl
index 5b04056de17e282e03d965b6e08aabd517deaa09..c2365d4ab463ccea8301650395b471d4f5fc3d7b 100644 (file)
--- a/tools/make_distrib.pl
+++ b/tools/make_distrib.pl
@@ -17,7 +17,7 @@ print "Distrib dir: $DistrDir\n";
 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