From 14aab93faf63128d630abef64c04c211bc6abe2d Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Tue, 15 Jan 2019 11:44:14 +0100
Subject: [PATCH] [ci][deploy] Fix variable name

---
 bob/devtools/scripts/ci.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index 05ab1ff6..ceb8ac1e 100644
--- a/bob/devtools/scripts/ci.py
+++ b/bob/devtools/scripts/ci.py
@@ -81,7 +81,7 @@ def deploy(dry_run):
         'webdav_login': os.environ['DOCUSER'],
         'webdav_password': os.environ['DOCPASS'],
         }
-    davclient = webdav.Client(options)
+    davclient = webdav.Client(webdav_options)
     assert davclient.valid()
 
     group, name = package.split('/')
-- 
GitLab