From 1fd4bd0cc0c2665de12246f4091724671b89f493 Mon Sep 17 00:00:00 2001
From: midipix <writeonce@midipix.org>
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
 }