OSDN Git Service

Merge "kati: Handle MAKECMDGOALS modifications"
authorDan Willemsen <dwillemsen@google.com>
Tue, 15 Sep 2015 00:28:42 +0000 (00:28 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Tue, 15 Sep 2015 00:28:42 +0000 (00:28 +0000)
commitb384eb84c3bbea9630d805f5825320e7f9acc2ba
tree11951f57258447f639a154e8c043b71b45825909
parent4ce3cea77065396b81a4e50283b785e9cc64788f
parentcb1bd116ed9282526484fb414c103aae46fd2bfc
Merge "kati: Handle MAKECMDGOALS modifications"
core/ninja.mk