From 8d6f923e130fa2266bab5dcb799c5b5cd2f391d0 Mon Sep 17 00:00:00 2001
From: Jay Berkenbilt <ejb@ql.org>
Date: Sat, 13 Oct 2018 11:59:05 -0400
Subject: [PATCH] Run make_dist from azure pipeline

---
 azure-pipelines.yml         | 6 ++++++
 azure-pipelines/build-linux | 4 ++++
 make_dist                   | 2 +-
 3 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 31881ecc..963ef92b 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -11,6 +11,12 @@ jobs:
       artifactName: distfiles
     displayName: 'Upload extra distribution files'
     condition: eq(variables['System.PullRequest.IsFork'], 'False')
+  - task: PublishBuildArtifacts@1
+    inputs:
+      pathtoPublish: '$(System.DefaultWorkingDirectory)/distribution'
+      artifactName: distribution
+    displayName: 'Upload source distribution'
+    condition: eq(variables['System.PullRequest.IsFork'], 'False')
 - job: Windows
   pool:
     vmImage: vs2017-win2016
diff --git a/azure-pipelines/build-linux b/azure-pipelines/build-linux
index 250469a3..0629ef48 100755
--- a/azure-pipelines/build-linux
+++ b/azure-pipelines/build-linux
@@ -9,3 +9,7 @@ sudo apt-get -y install \
 make -j$(nproc)
 make -k check
 make distfiles.zip
+./make_dist --ci --no-tests
+mkdir distribution
+cp /tmp/qpdf*-ci.tar.gz distribution
+sha256sum distribution/*
diff --git a/make_dist b/make_dist
index 74692c4e..1b8b095e 100755
--- a/make_dist
+++ b/make_dist
@@ -85,7 +85,7 @@ if ($version_error)
     die "$whoami: version numbers are not consistent\n";
 }
 
-run("./configure --enable-doc-maintenance --enable-werror");
+run("./configure --disable-shared --enable-doc-maintenance --enable-werror");
 run("make -j8 build_manual");
 run("make distclean");
 cd("/tmp");