diff options
| -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="" |