diff options
| -rwxr-xr-x | tools/make-version.pl | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/make-version.pl b/tools/make-version.pl index 4121080b99..1904cb7217 100755 --- a/tools/make-version.pl +++ b/tools/make-version.pl @@ -78,9 +78,6 @@ sub read_repo_info { my $line; my $release_candidate = ""; - my $in_entries = 0; - my $svn_name; - my $repo_version; my $info_source = "Unknown"; my $is_git_repo = 0; my $git_abbrev_length = 12; |