tree 1f244421b5cdff82aeac8a5257899e5c7ba2b033
parent 04ac03081f57b1d68457b38bad7ddce07bf63ad4
author Sam Leffler <sleffler@google.com> 1733958958 -0800
committer Sam Leffler <sleffler@google.com> 1733959078 -0800

build: everyone gets verilator!

Having verilator installed only for certain platforms can cause confusion;
install it regardless of the current platform setting.

Change-Id: I459b6cfb6331f7eb5a6d49843ca45e8274f7ee30