diff options
Diffstat (limited to 'pyGHDL/cli/dom.py')
-rwxr-xr-x | pyGHDL/cli/dom.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pyGHDL/cli/dom.py b/pyGHDL/cli/dom.py index 7ca4a17da..442ad6688 100755 --- a/pyGHDL/cli/dom.py +++ b/pyGHDL/cli/dom.py @@ -280,11 +280,11 @@ class Application(LineTerminal, ArgParseMixin): ) ) elif args.Directory is not None: - d: Path = args.Directory + d: Path = args.Directory.resolve() if not d.exists(): self.WriteError(f"Directory '{d!s}' does not exist.") - for file in d.glob("**/*.vhd?"): + for file in d.glob("**/*.vhd*"): self.WriteNormal(f"Parsing file '{file!s}'") document = self.addFile(file, "pretty") self.WriteInfo( |