jenkins.sh - lasso.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/jenkins.sh

blob: 055167d19a9600ed9e0e75c0d0b753b407681a18 (plain)

#!/bin/bash -e
./autogen.sh
./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf
make all check
make distcheck