diff options
Diffstat (limited to 'make_dist')
-rwxr-xr-x | make_dist | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -110,7 +110,7 @@ if ($version_error) } run("./autogen.sh"); -run("./configure --enable-doc-maintenance"); +run("./configure --enable-doc-maintenance --enable-werror"); run("make build_manual"); run("make distclean"); cd($pwd); |