diff options
| author | midipix <writeonce@midipix.org> | 2021-04-24 20:13:30 +0000 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2021-04-24 20:29:15 +0000 |
| commit | 8e0aaf53cccf4d4d10bf6f3a608fa9f658f8d8ec (patch) | |
| tree | e0435a2994526e61328f9f8d6fe32755cd2d9529 /configure | |
| parent | a28efc44bb9be9ec555ce3cac87349c8e04d95e7 (diff) | |
| download | sbpython2-8e0aaf53cccf4d4d10bf6f3a608fa9f658f8d8ec.tar.bz2 sbpython2-8e0aaf53cccf4d4d10bf6f3a608fa9f658f8d8ec.tar.xz | |
build system: allow projects to specify an alternate Makefile name.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -837,6 +837,11 @@ config_host() config_fini() { + # rename Makefile as needed + if [ -n "$mb_makefile" ]; then + mv $mb_pwd/Makefile $mb_pwd/$mb_makefile + fi + # project-specific post-configuration steps if [ _$mb_use_custom_cfgfini = _yes ]; then . "$mb_project_dir/project/config/cfgfini.sh" |