diff options
| -rwxr-xr-x | check/check-missing | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/check/check-missing b/check/check-missing index 69bed61..93c2267 100755 --- a/check/check-missing +++ b/check/check-missing @@ -5,6 +5,8 @@ if [ "$PKG_CONFIG_SHELL_IS_POSIX" != "1" ]; then PKG_CONFIG_SHELL_IS_POSIX=1 PATH=`getconf PATH` exec sh $0 "$@" fi +set -e + . ${srcdir}/common # non-existent package; call should fail and cause no output |