Skip to content

Commit 2db85b9

Browse files
fix an omitted word in the error message, and elaborate the message while at it
1 parent 4bbd45e commit 2db85b9

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

misc/perf_compare.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -154,7 +154,7 @@ def main() -> None:
154154
foreign_repo: str | None = args.r
155155

156156
if not (os.path.isdir(".git") and os.path.isdir("mypyc")):
157-
sys.exit("error: Run this the mypy repo root")
157+
sys.exit("error: You must run this script from the mypy repo root")
158158

159159
target_dirs = []
160160
for i, commit in enumerate(commits):

0 commit comments

Comments
 (0)