Snippets Groups Projects

There was a problem fetching the pipeline summary.

Commit 3bd7cdcc authored 8 years ago by Dominic Kempf

Introduce kernel option 'check_dep_resolution'

defaults to True. If set, any unmatched instruction
dependency will issue an error.

parent 6aa19cf6

Branches

Tags

1 merge request!98Silence unmatched dep error

Pipeline #