Carlos Martín Nieto 039e354b7d ciscript: don't use an empty string as a number ... An empty string is not a valid number, and some shells complain. Check instead if $COVERITY is non-empty, which is a common convention and what we're doing anyway.		2014-04-30 12:02:10 +02:00
..
cibuild.sh	ciscript: don't use an empty string as a number	2014-04-30 12:02:10 +02:00
coverity.sh	Refine build limitation	2014-01-15 12:32:12 -08:00