Merge pull request #293 from freddy36/processhtml

Keep original mtime for gzip compressed files, avoiding uneccesary Web.o rebuilds

processHtml.py

@@ -81,8 +81,11 @@ def _process_binary_file(cls, binary_path, header_path, info):
             with binary_path.open(mode="r", encoding="utf-8") as f:
                 content = f.read()
 
+        # get status of the file (copy modified time to gzip header)
+        stinfo = os.stat(binary_path)
+
         # compress content
-        data = gzip.compress(content.encode())
+        data = gzip.compress(content.encode(), mtime=stinfo.st_mtime)
 
         with header_path.open(mode="a", encoding="utf-8") as header_file:
             varName = binary_path.name.split('.')[0]