diff options
author | Benjamin Dauvergne <bdauvergne@entrouvert.com> | 2013-09-26 15:40:16 +0200 |
---|---|---|
committer | Benjamin Dauvergne <bdauvergne@entrouvert.com> | 2013-09-26 15:40:16 +0200 |
commit | cc6ab97ecf994c05713fc88531b68bc07ceb0b82 (patch) | |
tree | a74e4349724e82f2d44b24868c4ebeb0266a75b3 /jenkins.sh | |
parent | 566e29b3f870048a1cb6887bc7449e44a59ebc69 (diff) | |
download | lasso-cc6ab97ecf994c05713fc88531b68bc07ceb0b82.tar.gz lasso-cc6ab97ecf994c05713fc88531b68bc07ceb0b82.tar.xz lasso-cc6ab97ecf994c05713fc88531b68bc07ceb0b82.zip |
add jenkins.sh script
Diffstat (limited to 'jenkins.sh')
-rwxr-xr-x | jenkins.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jenkins.sh b/jenkins.sh new file mode 100755 index 00000000..c02aa7d3 --- /dev/null +++ b/jenkins.sh @@ -0,0 +1,3 @@ +./autogen.sh +./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf +make distcheck |