diff options
| author | Paul Selkirk <paul@psgd.org> | 2015-11-18 18:55:59 -0500 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2015-11-18 18:55:59 -0500 |
| commit | a4737cc9305cbab9bb9c044fad48d75dff37568c (patch) | |
| tree | 38a0e062a67d0086b4b12e0c25612fbdbdb546e3 /common/rtl/lint-dummy.v | |
| parent | 81286a692a3edade788c6d42beec1a7c8e5e07c9 (diff) | |
Move core_selector config script to core/platform/common, generate project-specific core_selectors in the build directories.
Diffstat (limited to 'common/rtl/lint-dummy.v')
0 files changed, 0 insertions, 0 deletions