diff options
author | midipix <writeonce@midipix.org> | 2019-10-18 01:31:37 +0000 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2019-10-18 01:37:31 +0000 |
commit | b7c09cada244f77b27ffe9bddd34ff82c4b5bd8f (patch) | |
tree | 18b0f202feaeadbc982305e1ac22d95009c8f147 /configure | |
parent | 36e5684360baeb853c2cb0439728d3d3d8814a8f (diff) | |
download | ntapi-b7c09cada244f77b27ffe9bddd34ff82c4b5bd8f.tar.bz2 ntapi-b7c09cada244f77b27ffe9bddd34ff82c4b5bd8f.tar.xz |
build system: configure: config_success(): support non-conforming/nested traps.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -468,6 +468,10 @@ config_status() config_failure() { + if [ _$mb_success = _yes ]; then + return 0 + fi + if [ -f Makefile ]; then mb_error='failed to use the generated Makefile.' printf '\n%s: error: %s\n' "${0}" "$mb_error" >&2 @@ -481,6 +485,7 @@ config_failure() config_success() { trap '' EXIT + mb_success=yes exit 0 } |