diff Resources/EmbedResources.py @ 20:a56b6a8b89ba

fix for windows
author jodogne
date Tue, 24 Jul 2012 10:44:19 +0200
parents 3959d33612cc
children e1a3ae0dadf3
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)