diff --git a/Configure.pl b/Configure.pl index 805e64c9671..a7ff61d3f25 100644 --- a/Configure.pl +++ b/Configure.pl @@ -98,6 +98,10 @@ sub create_makefile { close $ROOTIN; $maketext =~ s/@(\w+)@/$config{$1}/g; + if ($^O eq 'MSWin32') { + $maketext =~ s{/}{\\}g; + } + print "Creating Makefile\n"; open(MAKEFILE, ">Makefile") || die "Unable to write Makefile\n";