main.py: errmsg fix; workflows: add missing paths
This commit is contained in:
parent
ac7fbb1db4
commit
46bb919a8d
3 changed files with 13 additions and 2 deletions
5
.github/workflows/build.yaml
vendored
5
.github/workflows/build.yaml
vendored
|
|
@ -4,7 +4,12 @@ on:
|
|||
push:
|
||||
paths:
|
||||
- '.github/workflows/build.yaml'
|
||||
- 'pyproject.toml'
|
||||
- 'setup.cfg'
|
||||
- 'test/ref/**'
|
||||
- 'cmds/**'
|
||||
- '**.py'
|
||||
- '**.c'
|
||||
|
||||
jobs:
|
||||
test:
|
||||
|
|
|
|||
5
.github/workflows/pylint.yaml
vendored
5
.github/workflows/pylint.yaml
vendored
|
|
@ -4,7 +4,12 @@ on:
|
|||
push:
|
||||
paths:
|
||||
- '.github/workflows/pylint.yaml'
|
||||
- 'pyproject.toml'
|
||||
- 'setup.cfg'
|
||||
- 'test/ref/**'
|
||||
- 'cmds/**'
|
||||
- '**.py'
|
||||
- '**.c'
|
||||
|
||||
jobs:
|
||||
test:
|
||||
|
|
|
|||
|
|
@ -60,13 +60,14 @@ def launch(*, mod=None, func=None, package='mmgen'):
|
|||
2: _o(yellow, 2, '{message}'),
|
||||
3: _o(yellow, 3, '\nMMGen Error ({name}):\n{message}'),
|
||||
4: _o(red, 4, '\nMMGen Fatal Error ({name}):\n{message}'),
|
||||
'x': _o(yellow, 5, '\nMMGen Unhandled Exception ({name}):\n{message}'),
|
||||
'x': _o(yellow, 5, '\nMMGen Unhandled Exception ({name}): {e}'),
|
||||
}[getattr(e,'mmcode','x')]
|
||||
|
||||
(sys.stdout if getattr(e,'stdout',None) else sys.stderr).write(
|
||||
d.color(d.fs.format(
|
||||
name = type(e).__name__,
|
||||
message = errmsg ))
|
||||
message = errmsg,
|
||||
e = e))
|
||||
+ '\n' )
|
||||
|
||||
sys.exit(d.exit_val)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue