tree 71c309dcc40c4f2284236f943597f2a14a545e78
parent 9b0e1d59dd69550c03a41e3461cc22f1fd864fba
author Josh Conner <joshconner@google.com> 1486083226 -0800
committer Joshua Conner <joshconner@google.com> 1486083328 +0000

Inform make which cmds are dash builtins.

Change-Id: I1aa9d6bc6578c3ebd4247604cf0004ae0edbaf2d