diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/with_venv.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/with_venv.sh b/tools/with_venv.sh index e6e44f5..1b09ad7 100755 --- a/tools/with_venv.sh +++ b/tools/with_venv.sh @@ -4,7 +4,7 @@ command -v tox > /dev/null 2>&1 if [ $? -ne 0 ]; then echo 'This script requires "tox" to run.' echo 'You can install it with "pip install tox".' - exit 1; + exit 1; fi tox -evenv -- $@ |