From a0e03e4a8e40d437a9736ba344719ba25f6f4f92 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Sat, 11 Jun 2016 22:00:40 +0300
Subject: Try to detect local runner and use local mirror with debian
 repositories

---
 tools/ci/scripts/init.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'tools')

diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh
index fa40737..9da7ca6 100755
--- a/tools/ci/scripts/init.sh
+++ b/tools/ci/scripts/init.sh
@@ -17,6 +17,16 @@ function do_init {
     check_error $?
 }
 
+function update_repos {
+    export DATA=$(ifconfig|grep 192.168.10.248)
+    echo "${DATA}"
+    if [ "$DATA" != "" ];
+    then
+        echo "Detected local runner"
+        sed -i 's!http://httpredir.debian.org/debian!http://1.10.100.103/debian!'
+    fi
+}
+
 function aptget_update {
     echo "apt-get update"
     apt-get update
@@ -210,4 +220,5 @@ function run_mplint {
     run_check_warnings
 }
 
+update_repos
 aptget_update
-- 
cgit v1.2.3-70-g09d2