From a007eaa4056f02b2dcf87053fe6c4a7080ca035b Mon Sep 17 00:00:00 2001 From: Neels Hofmeyr Date: Tue, 4 Sep 2018 14:37:13 +0200 Subject: [PATCH] gen_makefile: add ALL config opts keyword --- gen_makefile.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/gen_makefile.py b/gen_makefile.py index fe255a5..c2b6128 100755 --- a/gen_makefile.py +++ b/gen_makefile.py @@ -306,7 +306,10 @@ regen: out.write('all-install: \\\n\t' + ' \\\n\t'.join([ '.make.%s.install' % p for p, d in projects_deps ]) + '\n\n') for proj, deps in projects_deps: - out.write(gen_make(proj, deps, configure_opts.get(proj), args.jobs, + all_config_opts = [] + all_config_opts.extend(configure_opts.get('ALL') or []) + all_config_opts.extend(configure_opts.get(proj) or []) + out.write(gen_make(proj, deps, all_config_opts, args.jobs, make_dir, args.src_dir, build_dir, args.url, args.push_url, args.sudo_make_install, args.no_ldconfig, args.ldconfig_without_sudo, args.make_check))