diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-09-07 10:55:02 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-07 10:55:02 -0700 |
| commit | 135a20cd110d356d5d098a08a7b447205adaed7a (patch) | |
| tree | f5200a6b35f19d1bf95dea1fa7e339f40391413b /scripts/support.py | |
| parent | fbe77b167002e8a49225b607ca8c37dc7e4b41fe (diff) | |
| parent | dd197d3212ac28e778d372df9d03e58b21386648 (diff) | |
| download | binaryen-135a20cd110d356d5d098a08a7b447205adaed7a.tar.gz binaryen-135a20cd110d356d5d098a08a7b447205adaed7a.tar.bz2 binaryen-135a20cd110d356d5d098a08a7b447205adaed7a.zip | |
Merge pull request #678 from WebAssembly/stack
Stack machine + 0xc update
Diffstat (limited to 'scripts/support.py')
| -rwxr-xr-x | scripts/support.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/support.py b/scripts/support.py index 2d4318980..7b61d5a03 100755 --- a/scripts/support.py +++ b/scripts/support.py @@ -100,7 +100,12 @@ def split_wast(wast): depth = 1 while depth > 0 and j < len(wast): if wast[j] == '"': - j = wast.find('"', j + 1) + while 1: + j = wast.find('"', j + 1) + if wast[j - 1] == '\\': + continue + break + assert j > 0 elif wast[j] == '(': depth += 1 elif wast[j] == ')': |