diff options
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"); |