diff options
Diffstat (limited to 'make-version.pl')
| -rwxr-xr-x | make-version.pl | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/make-version.pl b/make-version.pl index 92031d65c9..3ac8be5cde 100755 --- a/make-version.pl +++ b/make-version.pl @@ -477,10 +477,6 @@ if ($set_version || $set_release) { if ($set_release) { print "Generating release information\n"; - } else { - print "Clobbering release information\n"; - $revision = 0; - $package_string = ""; } &update_versioned_files; |