mirror of
https://github.com/zulip/zulip.git
synced 2026-07-03 21:10:12 +08:00
Make tools/install-mypy exit on error.
This commit is contained in:
parent
1b59b6826a
commit
ff845ebb96
@ -1,4 +1,5 @@
|
||||
#!/bin/bash
|
||||
set -e
|
||||
|
||||
# This script installs a python3 virtualenv called 'zulip-py3-venv' in zulip's parent directory.
|
||||
# It then installs mypy and some other dependencies into that virtualenv.
|
||||
|
||||
Loading…
Reference in New Issue
Block a user