Project

General

Profile

« Previous | Next » 

Revision 13188

Added by Aaron Marcuse-Kubitza about 10 years ago

lib/sh/util.sh: added rethrow_exit(), which exits even where errexit is disabled

  • added
  • modified
  • copied
  • renamed
  • deleted