tree fb7ccc90f6dbe41ab611a89af0ac3fbe5579cfe6
parent 5ab8d9cdeaa2ca73802be21942010108c0f4994e
author Jakob Buchgraber <buchgr@google.com> 1518877136 +0100
committer Jakob Buchgraber <buchgr@google.com> 1518877136 +0100

ensure /tmp/ gets wiped after a build