| Newer source version of src.build.ninja.in. Copying to bootstrap.ninja.in | |
| Choosing bootstrap.ninja.in for next stage | |
| Stage bootstrap.ninja.in has changed, restarting | |
| Choosing bootstrap.ninja.in for next stage | |
| Choosing primary.ninja.in for next stage | |
| Choosing main.ninja.in for next stage |