common.tools: Make rel_path normalize the path

This commit is contained in:
Nicolas Braud-Santoni 2016-09-12 17:46:51 +02:00
parent 9f7038163f
commit d8c831a7fa
No known key found for this signature in database
GPG key ID: 9D4F88010CFE19E3

View file

@ -137,4 +137,4 @@ def copy_tree(from_path, to_path):
def rel_path(base, path):
import os.path
return os.path.join(os.path.dirname(base), path)
return os.path.normpath(os.path.join(os.path.dirname(base), path))