From 0d15f3ad31dc6e3dbeefe4ed23def7d1f9b0c9d3 Mon Sep 17 00:00:00 2001 From: Guido van Rossum Date: Sat, 1 Dec 2018 14:55:13 -0800 Subject: [PATCH] Use exit 2 on crash to signal this is no ordinary error --- mypy/errors.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/mypy/errors.py b/mypy/errors.py index bcc4c82a4bd3..c7ddc668ea75 100644 --- a/mypy/errors.py +++ b/mypy/errors.py @@ -612,4 +612,5 @@ def report_internal_error(err: Exception, file: Optional[str], line: int, print('{}: note: use --pdb to drop into pdb'.format(prefix), file=sys.stderr) # Exit. The caller has nothing more to say. - raise SystemExit(1) + # We use exit code 2 to signal that this is no ordinary error. + raise SystemExit(2)