set default URL to git.osmocom.org
Change-Id: If0d46feb7f76d59c4e37fa63a894081f5f9210ad
diff --git a/gen_makefile.py b/gen_makefile.py
index 5b4fb6e..c3c1fcc 100755
--- a/gen_makefile.py
+++ b/gen_makefile.py
@@ -53,13 +53,13 @@
help='''Parent dir for all build trees (default:
directly in the make-dir).''')
-parser.add_argument('-u', '--url', dest='url', default='ssh://go',
- help='''git clone base URL. Default is 'ssh://go',
-e.g. add this to your ~/.ssh/config:
+parser.add_argument('-u', '--url', dest='url', default='git://git.osmocom.org',
+ help='''git clone base URL. Default is 'git://git.osmocom.org'.
+e.g. with a config like this in your ~/.ssh/config:
host go
hostname gerrit.osmocom.org
port 29418
-Alternatively pass '-u git://git.osmocom.org'.''')
+you may pass '-u ssh://go' to be able to submit to gerrit.''')
parser.add_argument('-o', '--output', dest='output', default='Makefile',
help='''Makefile filename (default: 'Makefile').''')
@@ -214,7 +214,7 @@
# regenerate this Makefile, in case the deps or opts changed
.PHONY: regen
regen:
- {script} {projects_and_deps} {configure_opts} -m {make_dir} -o {makefile} -s {src_dir} -b {build_dir}
+ {script} {projects_and_deps} {configure_opts} -m {make_dir} -o {makefile} -s {src_dir} -b {build_dir} -u "{url}"
'''.format(
script=os.path.relpath(sys.argv[0], make_dir),
@@ -224,6 +224,7 @@
makefile=args.output,
src_dir=os.path.relpath(args.src_dir, make_dir),
build_dir=os.path.relpath(build_dir, make_dir),
+ url=args.url
))
# convenience target: clone all repositories first