Skip to content

Commit

Permalink
Merge pull request #42 from jimklimov/issue-ddl-32
Browse files Browse the repository at this point in the history
Update `tools/nut-ddl.py.in` for nut-ddl issue #32
  • Loading branch information
jimklimov authored Aug 3, 2023
2 parents 4294d12 + 2ef206a commit e90c9a4
Show file tree
Hide file tree
Showing 2 changed files with 482 additions and 58 deletions.
5 changes: 5 additions & 0 deletions Jenkinsfile-infra
Original file line number Diff line number Diff line change
Expand Up @@ -32,6 +32,11 @@ pipeline {
defaultValue: true,
description: 'If "true", the spellcheck of site files would be a separate action with a non-fatal diagnosis after a site build an push (best-effort FYI); if "false" then spelling issues vs. master nut/docs/nut.dict would be fatal before site build.'
)
booleanParam(
name: 'NUT_DDL_PEDANTIC_DECLARATIONS',
defaultValue: true,
description: 'If "true", the "nut-ddl.py" script should fail if there are concerns about DDL file markup (so something is ambiguous, duplicate where should be unique, missing where required...) so these would be fatal before site build; if "false" then such issues are only printed as warnings.'
)
}

stages {
Expand Down
Loading

0 comments on commit e90c9a4

Please sign in to comment.