From 4af4cd2cceaa29f6d422c4dc31efffc60b4ffcda Mon Sep 17 00:00:00 2001
From: "Dustin C. Hatch" <dustin@hatch.name>
Date: Thu, 26 Jul 2018 18:43:06 -0500
Subject: [PATCH] ci: Fetch wheels

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

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index a70e2c5..81e8aa1 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -13,6 +13,7 @@ pipeline {
     stages {
         stage('Publish') {
             steps {
+                sh 'pip wheel -w dist'
                 sshagent(['jenkins-web']) {
                     sh "ssh -oStrictHostKeyChecking=no ${PUBLISH_USER}@${PUBLISH_HOST} :"
                     sh '. ci/publish.sh'