diff Resources/EmbedResources.py @ 129:5133cfc8db86

fix standalone build
author jodogne
date Sat, 06 Oct 2012 16:19:37 +0200
parents 71c4a4abe90b
children f1aeec53795b
line wrap: on
line diff
--- a/Resources/EmbedResources.py	Fri Oct 05 17:49:50 2012 +0200
+++ b/Resources/EmbedResources.py	Sat Oct 06 16:19:37 2012 +0200
@@ -2,6 +2,7 @@
 import os
 import os.path
 import pprint
+import re
 
 if len(sys.argv) < 2 or len(sys.argv) % 2 != 0:
     print ('Usage:')
@@ -20,6 +21,10 @@
 ## Read each resource file
 #####################################################################
 
+def CheckNoUpcase(s):
+    if re.search('[A-Z]', s) != None:
+        raise Exception("Path in a directory with an upcase letter: %s" % s)
+
 resources = {}
 
 counter = 0
@@ -42,10 +47,11 @@
             for f in files:
                 if f.find('~') == -1:  # Ignore Emacs backup files
                     if base == '.':
-                        r = f.lower()
+                        r = f
                     else:
-                        r = os.path.join(base, f).lower()
+                        r = os.path.join(base, f)
 
+                    CheckNoUpcase(r)
                     r = '/' + r.replace('\\', '/')
                     if r in content:
                         raise Exception("Twice the same filename (check case): " + r)