diff --git a/autoninja b/autoninja index 50ec00d57..eeeaaa123 100755 --- a/autoninja +++ b/autoninja @@ -8,6 +8,10 @@ AUTONINJA_BUILD_ID="$(python -c "import uuid; print uuid.uuid4()")" export AUTONINJA_BUILD_ID +if [ "$NINJA_SUMMARIZE_BUILD" == "1" ]; then + export NINJA_STATUS="[%r processes, %f/%t @ %o/s : %es ] " +fi + # Execute whatever is printed by autoninja.py. # Also print it to reassure that the right settings are being used. command=$(python "$(dirname -- "$0")/autoninja.py" "$@")