By the way: > At the time of this writing, none of them except apenwarr/redo (ie. this project) support parallel builds (redo -j). I don't know where this inf

By the way: > At the time of this writing, none of them except apenwarr/redo (ie. this project) support parallel builds (redo -j). I don't know where this information came from, but my (second) redo supported the --jobs option and interoperability with GNU make's jobs system (in either direction, make invoking redo or redo invoking make) from its very first version onwards. That's over half a decade ago, now. The Neukirchen one has similarly had -j, albeit using a mechanism that does not interoperate with GNU make, since at least 2015.