diff options
| -rwxr-xr-x | util/copy-if-different.pl | 3 |
1 files changed, 0 insertions, 3 deletions
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) { |