tree 32765be282a0f1fa49a209732792b18945aa24a5
parent a97bc181528dc76384636fe65805cfbe216171ff
author Avery Pennarun <apenwarr@gmail.com> 1384676141 -0500
committer Daniel Mentz <danielmentz@google.com> 1415917477 -0800

The joke's on me.  You need --quiet *and* --no-print-directory.

But it depends on how make is called, in ways I don't totally understand.

Change-Id: I550c4ee864152b290622429dabf7e46e11b24799