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