aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar zinc <zinc@downsta.ir> 2026-10-14 10:48:07 +0000
committerGravatar zinc <zinc@downsta.ir> 2026-10-14 10:48:07 +0000
commit095ba2b5b6cacb4599e928831d055e5aa600b454 (patch)
treeaefc882f60fda8d3146f1d5eb821cb245852d13b
parentMerge 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-xsrc/tools/parity.sh3
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=""