From 090c5d11e943e2182ecc9a3d1140fbf4e39395a2 Mon Sep 17 00:00:00 2001
From: Stefaan Lippens <stefaan.lippens@vito.be>
Date: Wed, 29 Jan 2020 14:56:17 +0100
Subject: [PATCH] Jenkinsfile: use "extras_require dev" for jenkins builds

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index eaa4ba1a2..0b2afa929 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -12,4 +12,5 @@ pythonPipeline {
   package_name = 'openeo'
   wipeout_workspace = true
   python_version = ["3.5","3.6"]
+  extras_require = 'dev'
 }