diff options
author | midipix <writeonce@midipix.org> | 2018-12-25 09:53:32 -0500 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2018-12-25 09:54:47 -0500 |
commit | 55b8670d0b4b80ec5edbc115aa60da3f9140779c (patch) | |
tree | 675456784ea1ca5ecf1cd8b3f66d087364444f85 /configure | |
parent | a37f4230fddb7e1d687a174ab06257b08d2b0fce (diff) | |
download | pemagine-55b8670d0b4b80ec5edbc115aa60da3f9140779c.tar.bz2 pemagine-55b8670d0b4b80ec5edbc115aa60da3f9140779c.tar.xz |
build system: configure: handle fatal errors more gracefully.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 26 |
1 files changed, 25 insertions, 1 deletions
@@ -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 |