summaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2019-10-18 01:31:37 +0000
committermidipix <writeonce@midipix.org>2019-10-18 01:37:32 +0000
commit1fd4bd0cc0c2665de12246f4091724671b89f493 (patch)
tree85933b6aaf036327e40f91eebb0b510715336b94 /configure
parentd10d6546d40698b7672f19deea6faeb0d62935e0 (diff)
downloadpemagine-1fd4bd0cc0c2665de12246f4091724671b89f493.tar.bz2
pemagine-1fd4bd0cc0c2665de12246f4091724671b89f493.tar.xz
build system: configure: config_success(): support non-conforming/nested traps.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure5
1 files changed, 5 insertions, 0 deletions
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
}