tree 69b6017ee7079ba8930c01ae13542c2b947b8507
parent 5271b32540f3a80cfd2ebf493e144bcb485a5499
author Dave Borowitz <dborowitz@google.com> 1528469461 -0400
committer David Ostrovsky <david.ostrovsky@gmail.com> 1528958678 +0000

Add optional dir_name argument to gerrit_plugin

This allows the plugin to live in a directory name that doesn't exactly
match the plugin name. Without this change, building such a plugin will
fail since the STABLE_BUILD_*_LABEL var won't be found in the stamp info
file.

Same as https://gerrit-review.googlesource.com/c/bazlets/+/183670 but
for in-tree plugin builds.

Change-Id: I393a4e9b418ee3c91ca41794aeee22cfd718d494
(cherry picked from commit e7bf2e23aa9b8d0786a75b550dce21f427ea4073)