build: remove obsolete jenkins.sh

This commit is contained in:
Frédéric Péters 2019-07-16 16:04:27 +02:00
parent 215649cc9f
commit d30aeb1772
1 changed files with 0 additions and 7 deletions

View File

@ -1,7 +0,0 @@
#!/bin/sh
pip install --upgrade setuptools
pip install --upgrade pip
pip install tox
tox -r