# # # patch "file_io.cc" # from [c1938a3a23c60dfeceaafcc39e17bbfd72c9a029] # to [56c0c5a2bcdd846b786787cad289ac6b37e056f5] # ============================================================ --- file_io.cc c1938a3a23c60dfeceaafcc39e17bbfd72c9a029 +++ file_io.cc 56c0c5a2bcdd846b786787cad289ac6b37e056f5 @@ -184,7 +184,12 @@ mkdir_p(any_path const & p) case path::file: E(false, F("could not create directory '%s': it is a file") % p); case path::nonexistent: - mkdir_p(p.dirname()); + std::string const current = p.as_external(); + any_path const parent = p.dirname(); + if (current != parent.as_external()) + { + mkdir_p(p.dirname()); + } do_mkdir(p.as_external()); } }