entrouvert
/
lasso
16
0
Fork 0
Code Issues Pull Requests Releases Activity

jenkins.sh: build a first time before running distcheck, in order to have the documentation compiled

This commit is contained in:
Benjamin Dauvergne 2013-09-26 15:53:20 +02:00
parent 16beadaff9
commit 310e12b2a1
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
jenkins.sh
View File

@ -1,3 +1,4 @@
./autogen.sh
./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf
make all check
make distcheck