tree ba5c3d455fbc1546fceed1e3af9d1689113f6069
parent 1b762850e34f0fb103369351dff7bccca0e926ab
author Michael Schaffner <msf@opentitan.org> 1599867738 -0700
committer Michael Schaffner <msf@google.com> 1600384318 -0700

[otp_ctrl] Add lint target

Signed-off-by: Michael Schaffner <msf@opentitan.org>