• Show log

    Commit

  • Hash : 039e354b
    Author : Carlos Martín Nieto
    Date : 2014-04-30T11:57:54

    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.