From 1d3efc23beaa703c5e155ea8278aa7da2262f578 Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Wed, 22 Mar 2017 23:54:10 +0100
Subject: [PATCH] add a jenkins.sh

---
 jenkins.sh | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100755 jenkins.sh

diff --git a/jenkins.sh b/jenkins.sh
new file mode 100755
index 0000000..ad8f3fd
--- /dev/null
+++ b/jenkins.sh
@@ -0,0 +1,16 @@
+#!/bin/sh
+
+set -e
+
+pip install --upgrade setuptools pip
+pip install --upgrade pylint pylint-django tox
+
+./getlasso.sh
+tox -r
+
+/usr/local/bin/merge-coverage.py -o coverage.xml coverage-*.xml
+/usr/local/bin/merge-junit-results.py junit-*.xml >junit.xml
+test -f pylint.out && cp pylint.out pylint.out.prev
+(pylint -f parseable --rcfile /var/lib/jenkins/pylint.django.rc mellon | tee pylint.out) ||
+	/bin/true
+test -f pylint.out.prev && (diff pylint.out.prev pylint.out | grep '^[><]' | grep .py) || /bin/true