chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 316f2c4) | patch
script lower: Fix handling of heavy targets
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Jul 2021 16:54:52 +0000 (17:54 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Jul 2021 18:32:58 +0000 (19:32 +0100)
commit593edba64b8913929df58388cd96cbce60985fbf
treed18b4c50a453169023fb0de9a3ffff240d6dd11ftree | snapshot
parent316f2c4104673c6ffee99f04b85dec86966ec08ecommit | diff
script lower: Fix handling of heavy targets

We need to keep walking if there are any, or they won't end up moved.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
templates/script.ts diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.