diff --git a/Configure.pl b/Configure.pl index a32d008a71a..fb64bbe3cf2 100644 --- a/Configure.pl +++ b/Configure.pl @@ -112,6 +112,7 @@ sub create_makefile { $maketext =~ s/@(\w+)@/$config{$1}/g; if ($^O eq 'MSWin32') { $maketext =~ s{/}{\\}g; + $maketext =~ s{http:\S+}{ do {my $t = $&; $t =~ s'\\'/'g; $t} }eg; } my $outfile = 'Makefile';