Make tools/pretty_tox.sh more informative and reliable

Change-Id: If541d88fedfad344bdfd87188007d7d293fd791a
This commit is contained in:
Sergey Lukjanov 2015-08-18 12:07:59 +03:00
parent 5fbd0108d9
commit 0a48edc17f

View File

@ -1,5 +1,6 @@
#!/usr/bin/env bash
set -ex
set -o pipefail
TESTRARGS=$1