diff options
| -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] == ')': |