tree 151f33cccd1633014d277ea3a5a0bdc48fcdd4f7
parent 2dd98fe970381c67a1fd14df60f9f4fd988505d8
author Maxwell Elliott <elliott.432@buckeyemail.osu.edu> 1591737272 -0400
committer David Goldman <davg@google.com> 1591737443 -0400

Additional parameter options for building Tulsi

Allows users to specify where Tulsi should be unzipped to after install using the `-d` option and allows them to specify the Bazel path to use with the `-b` option

Closes https://github.com/bazelbuild/tulsi/pull/151.

PiperOrigin-RevId: 315557493