Just to confirm, ninja is about say 10 times faster than Make for updating? In particular, it seems much better at taking less time when less has changed.
BTW, I think Paulo mentioned this, it is possible to “help” discourse with the code block by specifying the language. For example, if I type this:
```
git submodule update --init
```
you see:
git submodule update --init
and if I type this:
```bash
git submodule update --init
```
you’ll see:
git submodule update --init
(it no longer thinks it’s SQL probably?)
PS: Found the post: When posting using mail, please use markdown
Is there a way to “pin” this some place that is easy to find?