delete jenkins.sh file (#27304)

2018-10-12 15:48:19 +02:00 · 2018-10-12 15:48:19 +02:00 · 812e5b60e1
parent c6920d294e
commit 812e5b60e1
1 changed files with 0 additions and 9 deletions
--- a/jenkins.sh
+++ b/jenkins.sh
@ -1,9 +0,0 @@
-#!/bin/sh
-
-set -e
-
-pip install --upgrade pip
-pip install --upgrade pylint pylint-django
-pip install --upgrade tox
-(pylint -f parseable --rcfile /var/lib/jenkins/pylint.django.rc eopayment | tee pylint.out) || /bin/true
-tox -r