diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/clean_c_api_trace.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/clean_c_api_trace.py b/scripts/clean_c_api_trace.py index 006a0ce4f..6fcd5d4ae 100755 --- a/scripts/clean_c_api_trace.py +++ b/scripts/clean_c_api_trace.py @@ -22,8 +22,9 @@ import sys trace = open(sys.argv[1]).read() start = trace.find('// beginning a Binaryen API trace') +end = trace.rfind('// ending a Binaryen API trace') if start >= 0: - trace = trace[start:] + trace = trace[start:end] while 1: start = trace.find('\n(') |