summaryrefslogtreecommitdiff
path: root/tools/ci/scripts/updaterepos.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ci/scripts/updaterepos.sh')
-rwxr-xr-xtools/ci/scripts/updaterepos.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ci/scripts/updaterepos.sh b/tools/ci/scripts/updaterepos.sh
index 6b70016fb..99173a8fa 100755
--- a/tools/ci/scripts/updaterepos.sh
+++ b/tools/ci/scripts/updaterepos.sh
@@ -9,4 +9,5 @@ echo "${DATA}"
if [ "$DATA" != "" ]; then
echo "Detected local runner"
sed -i 's!http://httpredir.debian.org/debian!http://1.10.100.103/debian!' /etc/apt/sources.list || true
+ sed -i 's!http://deb.debian.org/debian!http://1.10.100.103/debian!' /etc/apt/sources.list || true
fi