diff --git a/util/copy-if-different.pl b/util/copy-if-different.pl
index 47bc0abd32..ec99e084b5 100755
--- a/util/copy-if-different.pl
+++ b/util/copy-if-different.pl
@@ -4,13 +4,10 @@ use strict;
 
 use Fcntl;
 
-
 # copy-if-different.pl
 
 # Copy to the destination if the source is not the same as it.
 
-my $stripcr = 0;
-
 my @filelist;
 
 foreach my $arg (@ARGV) {