Title: [183581] trunk/Source/_javascript_Core
- Revision
- 183581
- Author
- [email protected]
- Date
- 2015-04-29 15:12:31 -0700 (Wed, 29 Apr 2015)
Log Message
Fix non-cygwin incremental builds on Windows.
https://bugs.webkit.org/show_bug.cgi?id=143264
Reviewed by Brent Fulgham.
* generate-js-builtins:
Remove stale headers before calling os.rename to replace them.
Modified Paths
Diff
Modified: trunk/Source/_javascript_Core/ChangeLog (183580 => 183581)
--- trunk/Source/_javascript_Core/ChangeLog 2015-04-29 22:00:06 UTC (rev 183580)
+++ trunk/Source/_javascript_Core/ChangeLog 2015-04-29 22:12:31 UTC (rev 183581)
@@ -1,3 +1,13 @@
+2015-04-29 Alex Christensen <[email protected]>
+
+ Fix non-cygwin incremental builds on Windows.
+ https://bugs.webkit.org/show_bug.cgi?id=143264
+
+ Reviewed by Brent Fulgham.
+
+ * generate-js-builtins:
+ Remove stale headers before calling os.rename to replace them.
+
2015-04-29 Filip Pizlo <[email protected]>
JSTypeInfo should have an inline type flag to indicate of getCallData() has been overridden
Modified: trunk/Source/_javascript_Core/generate-js-builtins (183580 => 183581)
--- trunk/Source/_javascript_Core/generate-js-builtins 2015-04-29 22:00:06 UTC (rev 183580)
+++ trunk/Source/_javascript_Core/generate-js-builtins 2015-04-29 22:12:31 UTC (rev 183581)
@@ -280,11 +280,15 @@
builtinsImplementation.close()
if (not os.path.exists(output_base + ".h")) or (not filecmp.cmp(output_base + ".h.tmp", output_base + ".h", shallow=False)):
+ if (os.path.exists(output_base + ".h")):
+ os.remove(output_base + ".h")
os.rename(output_base + ".h.tmp", output_base + ".h")
else:
os.remove(output_base + ".h.tmp")
if (not os.path.exists(output_base + ".cpp")) or (not filecmp.cmp(output_base + ".cpp.tmp", output_base + ".cpp", shallow=False)):
+ if (os.path.exists(output_base + ".cpp")):
+ os.remove(output_base + ".cpp")
os.rename(output_base + ".cpp.tmp", output_base + ".cpp")
else:
os.remove(output_base + ".cpp.tmp")
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
