Commit 8d6f923e130fa2266bab5dcb799c5b5cd2f391d0
1 parent
f162a229
Run make_dist from azure pipeline
Showing
3 changed files
with
11 additions
and
1 deletions
azure-pipelines.yml
| ... | ... | @@ -11,6 +11,12 @@ jobs: |
| 11 | 11 | artifactName: distfiles |
| 12 | 12 | displayName: 'Upload extra distribution files' |
| 13 | 13 | condition: eq(variables['System.PullRequest.IsFork'], 'False') |
| 14 | + - task: PublishBuildArtifacts@1 | |
| 15 | + inputs: | |
| 16 | + pathtoPublish: '$(System.DefaultWorkingDirectory)/distribution' | |
| 17 | + artifactName: distribution | |
| 18 | + displayName: 'Upload source distribution' | |
| 19 | + condition: eq(variables['System.PullRequest.IsFork'], 'False') | |
| 14 | 20 | - job: Windows |
| 15 | 21 | pool: |
| 16 | 22 | vmImage: vs2017-win2016 | ... | ... |
azure-pipelines/build-linux
make_dist
| ... | ... | @@ -85,7 +85,7 @@ if ($version_error) |
| 85 | 85 | die "$whoami: version numbers are not consistent\n"; |
| 86 | 86 | } |
| 87 | 87 | |
| 88 | -run("./configure --enable-doc-maintenance --enable-werror"); | |
| 88 | +run("./configure --disable-shared --enable-doc-maintenance --enable-werror"); | |
| 89 | 89 | run("make -j8 build_manual"); |
| 90 | 90 | run("make distclean"); |
| 91 | 91 | cd("/tmp"); | ... | ... |