diff options
Diffstat (limited to 'util/copy.pl')
-rw-r--r-- | util/copy.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/copy.pl b/util/copy.pl index 73ac928ed2..e20b45530a 100644 --- a/util/copy.pl +++ b/util/copy.pl @@ -11,6 +11,7 @@ use Fcntl; my $arg; foreach $arg (@ARGV) { + $arg =~ s|\\|/|g; # compensate for bug/feature in cygwin glob... foreach (glob $arg) { push @filelist, $_; |