diff options
Diffstat (limited to 'third_party/WebIDL/debug.patch')
| -rw-r--r-- | third_party/WebIDL/debug.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/third_party/WebIDL/debug.patch b/third_party/WebIDL/debug.patch new file mode 100644 index 00000000000..ffab062d801 --- /dev/null +++ b/third_party/WebIDL/debug.patch @@ -0,0 +1,10 @@ +--- WebIDL.py ++++ WebIDL.py +@@ -8827,6 +8827,7 @@ class Parser(Tokenizer): + module=self, + outputdir=outputdir, + errorlog=logger, ++ debug=False, + write_tables=False, + # Pickling the grammar is a speedup in + # some cases (older Python?) but a |