modules generated with coregen are ignored #7

Open

opened

on Jun 10, 2015

Any module generated with a coregen header is ignored by the image builder

the coregen header looks like this
(* coregen ...

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests