1Newer source version of build.ninja.in. Copying to bootstrap.ninja.in 2Choosing bootstrap.ninja.in for next stage 3Choosing primary.ninja.in for next stage 4Choosing main.ninja.in for next stage 5
1Newer source version of build.ninja.in. Copying to bootstrap.ninja.in 2Choosing bootstrap.ninja.in for next stage 3Choosing primary.ninja.in for next stage 4Choosing main.ninja.in for next stage 5