tree c049b868af834003a28b6a22a4efa3b7d0667e32
parent 76cee23144b40007db47fb74e6125a7b6a31052c
parent 809cc6f58adac66b2cd61ca4d77b59a4fb8272d3
author Jeff Gaston <jeffrygaston@google.com> 1496864265 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1496864266 +0000

Merge "Run 'pstree' if ninja_log hasn't updated recently"