changeset 20:a56b6a8b89ba

fix for windows
author jodogne
date Tue, 24 Jul 2012 10:44:19 +0200
parents e85455ff6039
children 29bfa3095207
files Resources/EmbedResources.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/Resources/EmbedResources.py	Tue Jul 24 10:17:12 2012 +0200
+++ b/Resources/EmbedResources.py	Tue Jul 24 10:44:19 2012 +0200
@@ -46,7 +46,7 @@
                     else:
                         r = os.path.join(base, f).lower()
 
-                    r = '/' + r
+                    r = '/' + r.replace('\\', '/')
                     if r in content:
                         raise Exception("Twice the same filename (check case): " + r)