Skip to content

modules generated with coregen are ignored #7

Open
Open
modules generated with coregen are ignored#7
@cospan

Description

@cospan
cospan
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

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions