diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2013-07-09 14:33:55 -0400 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2013-07-10 11:28:17 -0400 |
| commit | e1c406f594dc86a75b0bb02136214a4263e4878f (patch) | |
| tree | a7053689f4e04ed25a76b01b28efab18f207acbf | |
| parent | 34a35054e9e113b9033fc050eaf25c82223c9aff (diff) | |
| download | servo-e1c406f594dc86a75b0bb02136214a4263e4878f.tar.gz servo-e1c406f594dc86a75b0bb02136214a4263e4878f.zip | |
Avoid endlessly regenerating bindings after modifying CodegenRust.py.
| -rw-r--r-- | src/components/script/dom/bindings/codegen/CodegenRust.py | 25 |
1 files changed, 15 insertions, 10 deletions
diff --git a/src/components/script/dom/bindings/codegen/CodegenRust.py b/src/components/script/dom/bindings/codegen/CodegenRust.py index 055cb0ce488..0cad50c7719 100644 --- a/src/components/script/dom/bindings/codegen/CodegenRust.py +++ b/src/components/script/dom/bindings/codegen/CodegenRust.py @@ -24,16 +24,21 @@ def replaceFileIfChanged(filename, newContents): Read a copy of the old file, so that we don't touch it if it hasn't changed. Returns True if the file was updated, false otherwise. """ - oldFileContents = "" - try: - oldFile = open(filename, 'rb') - oldFileContents = ''.join(oldFile.readlines()) - oldFile.close() - except: - pass - - if newContents == oldFileContents: - return False + #XXXjdm This doesn't play well with make right now. + # Force the file to always be updated, or else changing CodegenRust.py + # will cause many autogenerated bindings to be regenerated perpetually + # until the result is actually different. + + #oldFileContents = "" + #try: + # oldFile = open(filename, 'rb') + # oldFileContents = ''.join(oldFile.readlines()) + # oldFile.close() + #except: + # pass + + #if newContents == oldFileContents: + # return False f = open(filename, 'wb') f.write(newContents) |