X-Git-Url: https://git.proxmox.com/?a=blobdiff_plain;f=Tools%2FPython%2FWorkspaceRoutines.py;h=a34eff2d7177a597b605edff7e0d7bbc85be0031;hb=af2efcafd4974000a9dfe0f09aa78dcda70aba78;hp=c919065fc3d3bfa52b7d0c0ac7e6b82f1c306c36;hpb=d56b1906f1f157735559397578474f8cc7d8fcdb;p=mirror_edk2.git

diff --git a/Tools/Python/WorkspaceRoutines.py b/Tools/Python/WorkspaceRoutines.py
index c919065fc3..a34eff2d71 100755
--- a/Tools/Python/WorkspaceRoutines.py
+++ b/Tools/Python/WorkspaceRoutines.py
@@ -19,3 +19,8 @@ def genguid():
         str(time.time()) + 
         socket.gethostbyname(socket.gethostname())).hexdigest()
   return "%s-%s-%s-%s-%s" % (g[0:8], g[8:12], g[12:16], g[16:20], g[20:])
+
+def lean(path):
+  """Lean the slashes forward"""
+
+  return os.path.normpath(path).replace("\\", "/")