MakeHeader: always rewrite output file when run

Make already handles not rebuilding headers when they're up to date with
their respective C file, and make's target not actually getting updated
causes MakeHeader.py to be run way more often than necessary.

scripts/MakeHeader.py

@@ -97,16 +97,8 @@
 out.write( "\n" )
 out.write( "#endif\n" )
 
-# only write a new .h file if something changed.
-# This prevents a lot of recompilation during development
 out.seek(0)
-try:
-   with io.open(name + ".h", "r", encoding="utf-8") as orig:
-      origcontents = orig.readlines()
-except:
-   origcontents = ""
-if origcontents != out.readlines():
-   with io.open(name + ".h", "w", encoding="utf-8") as new:
-      print("Writing "+name+".h")
-      new.write(out.getvalue())
+with io.open(name + ".h", "w", encoding="utf-8") as new:
+  #print("Writing "+name+".h")
+  new.write(out.getvalue())
 out.close()