diff options
author | Jay Berkenbilt <ejb@ql.org> | 2018-10-13 17:59:05 +0200 |
---|---|---|
committer | Jay Berkenbilt <ejb@ql.org> | 2018-10-14 00:30:55 +0200 |
commit | 8d6f923e130fa2266bab5dcb799c5b5cd2f391d0 (patch) | |
tree | a781b15d835b889fa57e53b2e87263969f0cb653 /make_dist | |
parent | f162a229f677a5f5b95dd36021d6203dc2f9b3d3 (diff) | |
download | qpdf-8d6f923e130fa2266bab5dcb799c5b5cd2f391d0.tar.zst |
Run make_dist from azure pipeline
Diffstat (limited to 'make_dist')
-rwxr-xr-x | make_dist | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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"); |