diff options
author | Paul Selkirk <paul@psgd.org> | 2019-01-22 19:39:09 -0500 |
---|---|---|
committer | Paul Selkirk <paul@psgd.org> | 2019-01-22 19:39:09 -0500 |
commit | fe3d53cbd84a1a96ec93427a07f27321c4edaa6a (patch) | |
tree | 38f0b487b259e2e066c699b6724297ca917e392f /rtl/lint-dummy.v | |
parent | 50255f2ca56ad78df263207034e541d8aa284f12 (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