Skip to content

Commit 65a5a4a

Browse files
Update profile_check.py: figure out why this complains about being unreachable and silence it
1 parent d637744 commit 65a5a4a

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

misc/profile_check.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,7 @@ def check_requirements() -> None:
7979
# TODO: How to make this work on other platforms?
8080
sys.exit("error: Only Linux is supported")
8181

82-
try:
82+
try: #type: ignore[unreachable] # https://github.com/python/mypy/issues/10773
8383
subprocess.run(["perf", "-h"], capture_output=True)
8484
except (subprocess.CalledProcessError, FileNotFoundError):
8585
print("error: The 'perf' profiler is not installed")

0 commit comments

Comments
 (0)