diff --git a/src/registry/registerRecordDeviceDriver.pl b/src/registry/registerRecordDeviceDriver.pl index 87f6ba985..17adeee81 100755 --- a/src/registry/registerRecordDeviceDriver.pl +++ b/src/registry/registerRecordDeviceDriver.pl @@ -18,6 +18,9 @@ $numberDriverSupport = 0; $c_bad_ident_chars = '[^0-9A-Za-z_]'; $subname =~ s/$c_bad_ident_chars/_/g; +# Escape back-slashes in Windows path +$bldTop =~ s(\\)(\\\\)g if $^O eq 'MSWin32'; + open(INP,"$file") or die "$! opening file"; while() { next if m/ ^ \s* \# /x;