Change in osmo-dev[master]: gen_makefile.py: add missing --jobs to target 'regen'

fixeria has uploaded this change for review. ( https://gerrit.osmocom.org/c/osmo-dev/+/29091 ) Change subject: gen_makefile.py: add missing --jobs to target 'regen' ...................................................................... gen_makefile.py: add missing --jobs to target 'regen' Change-Id: I68adde5c3ea602d6dbbfb26e07ce44247cad89f9 --- M gen_makefile.py 1 file changed, 2 insertions(+), 0 deletions(-) git pull ssh://gerrit.osmocom.org:29418/osmo-dev refs/changes/91/29091/1 diff --git a/gen_makefile.py b/gen_makefile.py index 05bf9ff..b859112 100755 --- a/gen_makefile.py +++ b/gen_makefile.py @@ -395,6 +395,7 @@ --src-dir {src_dir} \ --make-dir {make_dir} \ --build-dir {build_dir} \ + --jobs {jobs} \ --url "{url}"{push_url}{sudo_make_install}{no_ldconfig}{ldconfig_without_sudo}{make_check}{docker_cmd}{build_debug}{auto_distclean} '''.format( @@ -404,6 +405,7 @@ makefile=args.output, src_dir=os.path.relpath(args.src_dir, make_dir), build_dir=os.path.relpath(build_dir, make_dir), + jobs=args.jobs, url=args.url, push_url=(" \\\n\t\t--push-url '%s'"%args.push_url) if args.push_url else '', sudo_make_install=' \\\n\t\t--sudo-make-install' if args.sudo_make_install else '', -- To view, visit https://gerrit.osmocom.org/c/osmo-dev/+/29091 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-dev Gerrit-Branch: master Gerrit-Change-Id: I68adde5c3ea602d6dbbfb26e07ce44247cad89f9 Gerrit-Change-Number: 29091 Gerrit-PatchSet: 1 Gerrit-Owner: fixeria <vyanitskiy(a)sysmocom.de> Gerrit-MessageType: newchange