diff options
author | midipix <writeonce@midipix.org> | 2021-05-23 14:43:19 +0000 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2021-05-23 14:48:21 +0000 |
commit | 63867dc4cbb27097e3bfeb4a7e4b58fd5516ad62 (patch) | |
tree | c7b3938b836655315a0297a1b2b9e3cf83d9fc71 | |
parent | 5c3315f95275d7e20ea09ddbbbd7fa1ac86a7180 (diff) | |
download | apimagic-63867dc4cbb27097e3bfeb4a7e4b58fd5516ad62.tar.bz2 apimagic-63867dc4cbb27097e3bfeb4a7e4b58fd5516ad62.tar.xz |
build system: reserve the file-name Makefile.common for bootstrapping projects.
-rwxr-xr-x | configure | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -317,6 +317,13 @@ verify_build_directory() fi fi + if [ -f "$mb_pwd/Makefile.common" ]; then + error_msg + error_msg "$mb_package: the file-name Makefile.common is reserved for bootstrapping projects." + error_msg "$mb_package: please remove or rename the file manually and then re-run configure." + exit 1 + fi + rm -f Makefile Makefile.host Makefile.tmp Makefile.failed $mb_makefile output_step_epilog |