X-Git-Url: https://git.xonotic.org/?a=blobdiff_plain;f=misc%2Ftools%2Fall%2Fconfig.subr;h=fab9a3ffc6b8f3ae5c6956a3e68d0418f714831f;hb=09a070cf39121ed5443b9dd7b169d47ced1ea37b;hp=0114af27b6d7be206466e26b0c5134a5339ef75b;hpb=b2c32ed5663e0a569592c930aae48638c700bf99;p=xonotic%2Fxonotic.git

diff --git a/misc/tools/all/config.subr b/misc/tools/all/config.subr
index 0114af27..fab9a3ff 100644
--- a/misc/tools/all/config.subr
+++ b/misc/tools/all/config.subr
@@ -12,7 +12,7 @@ allrepos()
 	"$@" d0_blind_id                   d0_blind_id.git              master         ""
 	"$@" data/xonotic-maps.pk3dir      xonotic-maps.pk3dir.git      master         ""
 	"$@" mediasource                   mediasource.git              master         "no"
-	"$@" fteqcc                        fteqcc.git                   xonotic-stable "noautocrlf"
+	"$@" gmqcc                         gmqcc.git                    master         ""
 	"$@" xonstat                       xonstat.git                  master         "no"
 	"$@" xonstatdb                     xonstatdb.git                master         "no"
 }
@@ -23,8 +23,8 @@ allmirrors()
 	"$@" http ''   http://git.xonotic.org/xonotic/     ''
 	"$@" ssh  ''   ssh://xonotic@git.xonotic.org/      ''
 
-	"$@" git  us   git://us.git.xonotic.org/xonotic/   ''
-	"$@" http us   http://us.git.xonotic.org/xonotic/  ''
+	"$@" git  us   git://us.git.xonotic.org/xonotic/   '*2/3'
+	"$@" http us   http://us.git.xonotic.org/xonotic/  '*2/3'
 
 	"$@" git  de   git://de.git.xonotic.org/xonotic/   ''
 	"$@" http de   http://de.git.xonotic.org/xonotic/  ''
@@ -33,4 +33,23 @@ allmirrors()
 	"$@" http nl   http://nl.git.xonotic.org/xonotic/  '*2'
 
 	"$@" ssh  push ssh://xonotic@push.git.xonotic.org/ ''
+
+	"$@" http lab  https://gitlab.com/xonotic/         ''
+	"$@" ssh  lab  ssh://git@gitlab.com/xonotic/       ''
+}
+
+have_time=true
+measure_time()
+{
+	if $have_time; then
+		time -p "$@"
+	else
+		"$@"
+	fi
 }
+if { measure_time sh -c 'true'; } 2>&1 >/dev/null | grep '^user ' >/dev/null; then
+	msg "Timing via the time utility works."
+else
+	have_time=false
+	msg "Timing not supported."
+fi