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