From 812e5b60e1f9d45ef2875dd88c929898ff0bb3d0 Mon Sep 17 00:00:00 2001
From: Emmanuel Cazenave <ecazenave@entrouvert.com>
Date: Fri, 12 Oct 2018 15:48:19 +0200
Subject: [PATCH] delete jenkins.sh file (#27304)

---
 jenkins.sh | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 jenkins.sh

diff --git a/jenkins.sh b/jenkins.sh
deleted file mode 100755
index f4ac014..0000000
--- a/jenkins.sh
+++ /dev/null
@@ -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