misc: add ./getlass.sh to jenkins.sh (#13478)

2016-10-05 11:21:03 +02:00 · 2016-10-05 11:21:03 +02:00 · 839ad0d9bd
parent bd5e3b3bdc
commit 839ad0d9bd
1 changed files with 1 additions and 0 deletions
--- a/jenkins.sh
+++ b/jenkins.sh
@ -5,5 +5,6 @@ set -e
 rm -f coverage.xml
 rm -f test_results.xml

+./getlasso.sh
 pip install --upgrade tox
 tox -r