Project

General

Profile

« Previous | Next » 

Revision 8923

bugfix: lib/util.sh: extern (): added `|| exit` after "$@" in addition to after the (), because this additional `|| exit` is apparently needed in order to propagate the exit status of the command to the exit status of the () and cause an error to abort the script properly

View differences:

lib/util.sh
1 1
#!/bin/bash -e
2
function extern () { (unset -f "$1"; "$@") || exit; }
2
function extern () { (unset -f "$1"; "$@" || exit) || exit; }
3 3

  
4 4
realpath () { readlink -f -- "$1"; }
5 5

  

Also available in: Unified diff