gen_makefile: add ALL config opts keyword
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 @@
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))