1 devsite_url="http://dev.xonotic.org/"
2 gitsite_url="http://gitlab.com/groups/xonotic/"
6 "$@" . xonotic.git master ""
7 "$@" data/xonotic-data.pk3dir xonotic-data.pk3dir.git master ""
8 "$@" data/xonotic-music.pk3dir xonotic-music.pk3dir.git master ""
9 "$@" data/xonotic-nexcompat.pk3dir xonotic-nexcompat.pk3dir.git master "no"
10 "$@" darkplaces darkplaces.git div0-stable "svn"
11 "$@" netradiant netradiant.git master ""
12 "$@" div0-gittools div0-gittools.git master "no"
13 "$@" d0_blind_id d0_blind_id.git master ""
14 "$@" data/xonotic-maps.pk3dir xonotic-maps.pk3dir.git master ""
15 "$@" mediasource mediasource.git master "no"
16 "$@" gmqcc gmqcc.git master ""
17 "$@" xonstat xonstat.git master "no"
18 "$@" xonstatdb xonstatdb.git master "no"
24 "$@" git '' git://git.xonotic.org/xonotic/ ''
25 "$@" http '' http://git.xonotic.org/xonotic/ ''
26 "$@" ssh '' ssh://xonotic@git.xonotic.org/ ''
27 "$@" git '' git://nl.git.xonotic.org/xonotic/ ''
28 "$@" http '' http://nl.git.xonotic.org/xonotic/ ''
29 "$@" git '' git://us.git.xonotic.org/xonotic/ ''
30 "$@" http '' http://us.git.xonotic.org/xonotic/ ''
32 # Gitlab host (divVerent).
33 # Disabled because of https://gitlab.com/gitlab-com/support-forum/issues/15
34 "$@" http '' https://gitlab.com/xonotic/ ''
36 # German host (divVerent).
37 "$@" git de git://de.git.xonotic.org/xonotic/ ''
38 "$@" http de http://de.git.xonotic.org/xonotic/ ''
40 # Pushing destination (authoritative server; merlijn).
41 "$@" ssh push ssh://git@gitlab.com/xonotic/ ''
53 if { measure_time sh -c 'true'; } 2>&1 >/dev/null | grep '^user ' >/dev/null; then
54 msg "Timing via the time utility works."
57 msg "Timing not supported."