From 840e609216d74cd9d949215c09ea18428bb4778d Mon Sep 17 00:00:00 2001 From: midipix Date: Sat, 24 Apr 2021 20:13:30 +0000 Subject: build system: allow projects to specify an alternate Makefile name. --- configure | 5 +++++ sofort/config/config.vars | 1 + 2 files changed, 6 insertions(+) diff --git a/configure b/configure index 283b7c8..c1e0be5 100755 --- a/configure +++ b/configure @@ -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" diff --git a/sofort/config/config.vars b/sofort/config/config.vars index f3ea78e..903abd5 100644 --- a/sofort/config/config.vars +++ b/sofort/config/config.vars @@ -39,6 +39,7 @@ srcball_sha256 make +makefile makemode build -- cgit v1.2.3