From 23802f44897c968bc20756c4c351dca12c5dd440 Mon Sep 17 00:00:00 2001 From: Max Kellermann Date: Tue, 26 Sep 2023 14:28:22 +0200 Subject: [PATCH] python/build/tarball: Python type hints --- python/build/tar.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/python/build/tar.py b/python/build/tar.py index 8247d2c22..208d0a606 100644 --- a/python/build/tar.py +++ b/python/build/tar.py @@ -1,6 +1,7 @@ import os, shutil, subprocess -def untar(tarball_path, parent_path, base, lazy=False): +def untar(tarball_path: str, parent_path: str, base: str, + lazy: bool=False) -> str: path = os.path.join(parent_path, base) if lazy and os.path.isdir(path): return path