diff options
-rwxr-xr-x | src/util/git-init-master-repo.pl | 3 | ||||
-rwxr-xr-x | src/util/git-init-repo.pl | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/util/git-init-master-repo.pl b/src/util/git-init-master-repo.pl index 83bf6dd..8330a1e 100755 --- a/src/util/git-init-master-repo.pl +++ b/src/util/git-init-master-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_master_repo - git checkout <tag>" + git checkout <tag> +" or die; close README or die; 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; |