aboutsummaryrefslogtreecommitdiff
path: root/rtl/lint-dummy.v
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2017-03-03 16:39:11 -0500
committerRob Austein <sra@hactrn.net>2017-03-03 16:39:11 -0500
commit74415e8d386b5080aaf7270a2d5356ed4f533859 (patch)
tree66fd1104fbb73ee77bea3b48e0ff6f57a8e623fa /rtl/lint-dummy.v
parentcd91e7201f87184bbcdc290edbf9e8f6c2559b00 (diff)
Allow project and board selection via Makefile variables.
Diffstat (limited to 'rtl/lint-dummy.v')
0 files changed, 0 insertions, 0 deletions