summaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2021-04-24 20:13:30 +0000
committermidipix <writeonce@midipix.org>2021-04-24 20:29:16 +0000
commite4b4c4976cceab837e4fbcf0bf61bf709b79e20d (patch)
tree199b44b5dde513b4d4cf98dc9a8934f4fa84045c /configure
parentf4a4951771ac14b48fd63cf8568277376ca4b468 (diff)
downloadu16ports-e4b4c4976cceab837e4fbcf0bf61bf709b79e20d.tar.bz2
u16ports-e4b4c4976cceab837e4fbcf0bf61bf709b79e20d.tar.xz
build system: allow projects to specify an alternate Makefile name.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure5
1 files changed, 5 insertions, 0 deletions
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"