From 29200136d33ffe5a59362eed04adb88599d23cd1 Mon Sep 17 00:00:00 2001 From: midipix Date: Oct 18 2019 01:37:32 +0000 Subject: build system: configure: config_success(): support non-conforming/nested traps. --- diff --git a/configure b/configure index c7fe370..35c477c 100755 --- a/configure +++ b/configure @@ -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 }