summaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2018-12-25 09:53:32 -0500
committermidipix <writeonce@midipix.org>2018-12-25 09:54:47 -0500
commit1a8cc6517c0b5d6ac2a78d4a961efc3c1da4e330 (patch)
tree4b076a3b6b91072faba7e74441d19a68b8100f6f /configure
parentdc46186a6b1317e84a80231013872fa0d4456edb (diff)
downloadntcon-1a8cc6517c0b5d6ac2a78d4a961efc3c1da4e330.tar.bz2
ntcon-1a8cc6517c0b5d6ac2a78d4a961efc3c1da4e330.tar.xz
build system: configure: handle fatal errors more gracefully.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure26
1 files changed, 25 insertions, 1 deletions
diff --git a/configure b/configure
index e88666c..abb0750 100755
--- a/configure
+++ b/configure
@@ -2,6 +2,8 @@
set -eu
+trap config_failure 1 2 EXIT
+
usage()
{
cat "$mb_project_dir"/config.usage
@@ -182,6 +184,8 @@ verify_build_directory()
mb_project_dir='.'
fi
fi
+
+ rm -f Makefile Makefile.host Makefile.tmp Makefile.failed
}
@@ -682,6 +686,26 @@ config_status()
printf "\nconfiguration completed successfully.\n\n"
}
+
+config_failure()
+{
+ if [ -f Makefile ]; then
+ mb_error='failed to use the generated Makefile.'
+ printf '\n%s: error: %s\n' "${0}" "$mb_error" >&2
+ mv Makefile Makefile.failed
+ fi
+
+ exit 2
+}
+
+
+config_success()
+{
+ trap '' EXIT
+ exit 0
+}
+
+
# one: init
init_vars
verify_build_directory
@@ -942,4 +966,4 @@ config_status
# all done
-exit 0
+config_success