From 9f9c3a113ad8efb1edc84fdcd9c959885fad8a70 Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Thu, 15 Feb 2018 14:34:28 +0100
Subject: [PATCH] add jenkins.sh

---
 jenkins.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 jenkins.sh

diff --git a/jenkins.sh b/jenkins.sh
new file mode 100644
index 0000000..777aa3f
--- /dev/null
+++ b/jenkins.sh
@@ -0,0 +1,6 @@
+#!/bin/sh
+
+pip install -U pip
+pip install -U tox
+./getlasso.sh
+tox -r