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