manifest: remove unecessary Path() call
The repo_root value is already a Path. Signed-off-by: Martí Bolívar <marti.bolivar@nordicsemi.no>
This commit is contained in:
parent
c4a3bb8cb7
commit
fe3cba3021
|
@ -657,7 +657,7 @@ class Manifest:
|
||||||
cwd=str(Path(self.path).parent)).
|
cwd=str(Path(self.path).parent)).
|
||||||
stdout[:-1]. # chop off newline
|
stdout[:-1]. # chop off newline
|
||||||
decode('utf-8')) # hopefully this is safe
|
decode('utf-8')) # hopefully this is safe
|
||||||
p = Path(repo_root) / imp
|
p = repo_root / imp
|
||||||
|
|
||||||
if p.is_file():
|
if p.is_file():
|
||||||
log.dbg(f'found submanifest: {p}', level=log.VERBOSE_EXTREME)
|
log.dbg(f'found submanifest: {p}', level=log.VERBOSE_EXTREME)
|
||||||
|
|
Loading…
Reference in New Issue