diff options
Diffstat (limited to 'src/util/git-init-repo.pl')
-rwxr-xr-x | src/util/git-init-repo.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/util/git-init-repo.pl b/src/util/git-init-repo.pl index f2a7261..a4d5d74 100755 --- a/src/util/git-init-repo.pl +++ b/src/util/git-init-repo.pl @@ -71,6 +71,7 @@ build directly accessible. In order to check out a certain tag into a directory <name>, issue the following commands: cd <somewhere_else> git clone -o <name> $git_repo - git checkout <tag>" + git checkout <tag> +" or die; close README or die; |