aboutsummaryrefslogtreecommitdiff
path: root/rtl/lint-dummy.v
diff options
context:
space:
mode:
authorPaul Selkirk <paul@psgd.org>2019-01-22 19:39:09 -0500
committerPaul Selkirk <paul@psgd.org>2019-01-22 19:39:09 -0500
commitfe3d53cbd84a1a96ec93427a07f27321c4edaa6a (patch)
tree38f0b487b259e2e066c699b6724297ca917e392f /rtl/lint-dummy.v
parent50255f2ca56ad78df263207034e541d8aa284f12 (diff)
Upon reflection, I prefer the way Pavel handled include paths in 8cd28d0
(which he only committed on fmc_clk, and I was only looking at master). But I moved the curly brackets from Makefile to xilinx.mk, because a) Makefile shouldn't need to know the picky details of xst option syntax, and b) xst will throw an uninformative error if called with '-vlgincdir ' versus '-vlgincdir {}', if vlgincdir isn't defined in Makefile.
Diffstat (limited to 'rtl/lint-dummy.v')
0 files changed, 0 insertions, 0 deletions