diff options
author | midipix <writeonce@midipix.org> | 2021-05-23 16:41:08 +0000 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2021-05-23 16:42:14 +0000 |
commit | 793c3289250407b39902a9adda3d352cccdad07a (patch) | |
tree | 91c20ea927c6f69fc26473f0a86a45b3069445aa /configure | |
parent | ebec6c150152586a9acc2762fd0cd94fabbbe606 (diff) | |
download | w32lib-793c3289250407b39902a9adda3d352cccdad07a.tar.bz2 w32lib-793c3289250407b39902a9adda3d352cccdad07a.tar.xz |
build system: configure: support project-specific make-file templates.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -804,6 +804,12 @@ config_custom() eval config_custom_cfgdefs "$mb_custom_cfgdefs_args" output_section_break + + if [ -f "$mb_project_dir/project/config/Makefile.in" ]; then + config_copy "$mb_project_dir/project/config/Makefile.in" + mv $mb_pwd/Makefile.tmp Makefile + fi + config_copy fi |