diff options
| author | 2026-10-14 10:48:07 +0000 | |
|---|---|---|
| committer | 2026-10-14 10:48:07 +0000 | |
| commit | 095ba2b5b6cacb4599e928831d055e5aa600b454 (patch) | |
| tree | aefc882f60fda8d3146f1d5eb821cb245852d13b | |
| parent | Merge the defer statement; todo: tick it, add its follow-ups (diff) | |
parity: clear links from earlier runs so a program's writes never reach the tree
| -rwxr-xr-x | src/tools/parity.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/parity.sh b/src/tools/parity.sh index 2739a85..00245a8 100755 --- a/src/tools/parity.sh +++ b/src/tools/parity.sh @@ -92,6 +92,9 @@ rebase() { } mkdir -p "$W/root" +# links left by an earlier run go first: a link to a file a program wrote into the tree once +# (bareio's note) would otherwise lead the next write back into the repository +find "$W/root" -mindepth 1 -maxdepth 1 -type l -delete for f in *; do [ "$f" = build ] || ln -sfn "$root/$f" "$W/root/$f"; done compared=0; differ=0; known=0; skipped=0; timedout=0; broken=0 skips="" |
