diff options
Diffstat (limited to 'pyGHDL')
| -rwxr-xr-x | pyGHDL/cli/dom.py | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/pyGHDL/cli/dom.py b/pyGHDL/cli/dom.py index 442ad6688..04c23575b 100755 --- a/pyGHDL/cli/dom.py +++ b/pyGHDL/cli/dom.py @@ -114,8 +114,8 @@ class Application(LineTerminal, ArgParseMixin): _design: Design - def __init__(self, debug=False, verbose=False, quiet=False, sphinx=False): - super().__init__(verbose, debug, quiet) + def __init__(self): + super().__init__() # Initialize DOM with an empty design # -------------------------------------------------------------------------- @@ -155,11 +155,6 @@ class Application(LineTerminal, ArgParseMixin): add_help=False, ) - # If executed in Sphinx to auto-document CLI arguments, exit now - # -------------------------------------------------------------------------- - if sphinx: - return - # Change error and warning reporting # -------------------------------------------------------------------------- self._LOG_MESSAGE_FORMAT__[Severity.Fatal] = "{DARK_RED}[FATAL] {message}{NOCOLOR}" |