diff options
| author | midipix <writeonce@midipix.org> | 2021-05-23 14:43:19 +0000 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2021-05-23 14:48:23 +0000 |
| commit | 9d230a7d2c43bdc3c3f9e99ac5d10fd1d54a5779 (patch) | |
| tree | e57cf1631bc1169a8be92a9f44eaf9511f8a88b5 /configure | |
| parent | 76b5c8e2b26898163c38bc4bf4e8a24991b646de (diff) | |
| download | sbpython2-9d230a7d2c43bdc3c3f9e99ac5d10fd1d54a5779.tar.bz2 sbpython2-9d230a7d2c43bdc3c3f9e99ac5d10fd1d54a5779.tar.xz | |
build system: reserve the file-name Makefile.common for bootstrapping projects.
Diffstat (limited to 'configure')
| -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 |