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 /fmc/build/.gitignore | |
| parent | 81286a692a3edade788c6d42beec1a7c8e5e07c9 (diff) | |
Move core_selector config script to core/platform/common, generate project-specific core_selectors in the build directories.
Diffstat (limited to 'fmc/build/.gitignore')
| -rw-r--r-- | fmc/build/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/fmc/build/.gitignore b/fmc/build/.gitignore index 865bda8..66d2673 100644 --- a/fmc/build/.gitignore +++ b/fmc/build/.gitignore @@ -51,3 +51,5 @@ par_usage_statistics.html webtalk.log _xmsgs default.xreport +core_selector.v +core_vfiles.mk |