diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 15:54:04 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 15:54:04 +0330 |
| commit | 0879d0a42d137054057cd2a1e37437e6be78ed0b (patch) | |
| tree | fcb16d3185c1f80fae8d54cd9062bd68d6c0c88d /src/tools/parity.sh | |
| parent | merge spec conformance suite (diff) | |
| parent | merge main into work/line-tables (diff) | |
merge line tables
Diffstat (limited to 'src/tools/parity.sh')
| -rwxr-xr-x | src/tools/parity.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/parity.sh b/src/tools/parity.sh index 00245a8..2b9b870 100755 --- a/src/tools/parity.sh +++ b/src/tools/parity.sh @@ -63,7 +63,9 @@ KNOWN=tests/parity.known mkdir -p "$W" # what every image starts with, and how many lines that is (zc0 counts from the top) SRCS="src/runtime/rt.zc src/core/core.zc src/runtime/run.zc" -{ cat $SRCS; echo 'namespace;'; } > "$W/prefix.new" +# the marker turns zc0's line tables on for the program, named <stdin> as under zy, so faults +# and rt.trace() print the same backtrace on both sides (src/tools/automap.sh does the same) +{ cat $SRCS; echo 'namespace;'; echo '//:lines <stdin>'; } > "$W/prefix.new" if cmp -s "$W/prefix.new" "$W/prefix.zc"; then rm "$W/prefix.new"; else mv "$W/prefix.new" "$W/prefix.zc"; fi nprefix=$(wc -l < "$W/prefix.zc") # what the compiled image depends on besides the program |