Project

General

Profile

« Previous | Next » 

Revision 12979

lib/sh/util.sh: die(): always errexit even if $e = 0, because die always indicates an error

  • added
  • modified
  • copied
  • renamed
  • deleted