1 files changed, 1 insertions, 0 deletions
diff --git a/util/mkdir-p.pl b/util/mkdir-p.pl
index 6c69c2daa4..e73d02b073 100755
--- a/util/mkdir-p.pl
+++ b/util/mkdir-p.pl
@@ -8,6 +8,7 @@
 my $arg;
 
 foreach $arg (@ARGV) {
+  $arg =~ tr|\\|/|;
   &do_mkdir_p($arg);
 }