6 Commits

Author	SHA1	Message	Date
Giacomo Tesio	ded9ac9fb9	various fixes	2017-01-20 01:54:11 +01:00
Giacomo Tesio	8bcf5fe6de	buildtools.sh: show progress	2016-11-26 04:28:37 +01:00
Giacomo Tesio	1ba806ca1b	new development tools	2016-11-25 13:41:57 +00:00
Giacomo Tesio	ed8629197f	travis-ci: improve coverity integration	2015-12-23 10:05:48 +00:00
Giacomo Tesio	f62c23db18	buildtools.sh: inherit $UTILITIES if defined	2015-12-23 00:29:52 +01:00
Giacomo Tesio	0874dc3613	initial commit	2015-12-22 10:10:07 +00:00