7 commits

Author	SHA1	Message	Date
Andrea Mazzoleni	e5ab577b6d	Add the new makesan.sh script and some more comments	2016-01-09 11:19:53 +01:00
Andrea Mazzoleni	f277bf24b1	Use the new version format in makescan.sh	2016-01-04 11:11:40 +01:00
Andrea Mazzoleni	a9701d3e7c	Add autoreconf to makescan.sh to update the version	2016-01-03 19:13:57 +01:00
Andrea Mazzoleni	1f2c0fcc22	Get version from the git revision ... This ensures to properly differntiate all the beta releases.	2015-11-24 19:34:21 +01:00
Andrea Mazzoleni	f416d909b2	Update to the latest coverity scan tool	2015-11-10 23:35:42 +01:00
Andrea Mazzoleni	0a68d357e3	Uses the new coverity scan compiler.	2014-12-27 11:02:44 +01:00
Andrea Mazzoleni	d491fd73e0	Adds coverity scan script.	2014-11-09 22:36:13 +01:00