diff options
Diffstat (limited to 'jenkins.sh')
-rwxr-xr-x | jenkins.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ +#!/bin/bash -e ./autogen.sh ./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf make all check |
index : lasso.git | ||
Unnamed repository; edit this file 'description' to name the repository. | Simo Sorce |
summaryrefslogtreecommitdiffstats |
-rwxr-xr-x | jenkins.sh | 1 |
@@ -1,3 +1,4 @@ +#!/bin/bash -e ./autogen.sh ./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf make all check |