diff Resources/EmbedResources.py @ 1383:5c11c4e728eb query-retrieve

integration mainline->query-retrieve
author Sebastien Jodogne <s.jodogne@gmail.com>
date Fri, 29 May 2015 14:46:55 +0200
parents 601d34afdab9
children 5068de14eef1
line wrap: on
line diff
--- a/Resources/EmbedResources.py	Thu May 28 12:19:26 2015 +0200
+++ b/Resources/EmbedResources.py	Fri May 29 14:46:55 2015 +0200
@@ -229,6 +229,10 @@
         cpp.write("0x%02x" % c)
         pos += 1
 
+    # Zero-size array are disallowed, so we put one single void character in it.
+    if pos == 0:
+        cpp.write('  0')
+
     cpp.write('  };\n')
     cpp.write('    static const size_t resource%dSize = %d;\n' % (item['Index'], pos))