ci: build: use gitlab.com mirror for OpenWrt feeds

In order to speedup the feed checkouts and as a bonus we don't hammer
openwrt.org Git servers.

Signed-off-by: Petr Štetiar <ynezz@true.cz>
This commit is contained in:
Petr Štetiar 2022-08-05 09:02:05 +02:00 committed by Petr Štetiar
parent b21baea44d
commit 426adae172
No known key found for this signature in database
GPG Key ID: 58EE120F30CC02D3

View File

@ -18,8 +18,11 @@
- mkdir logs
- set -o pipefail
- sed -i 's;https://git.openwrt.org;https://gitlab.com/openwrt;' feeds.conf.default
- export CI_BUILD_PROFILE="$(echo $CI_JOB_NAME | sed 's/build test \(.*\)/\1/')"
- scripts/gen_config.py $CI_BUILD_PROFILE 2>&1 | tee logs/build.log
- git checkout -- feeds.conf.default
- >
for option in $CI_BUILD_CONFIG $CI_BUILD_CONFIG_EXTRA; do
echo "$option" | sed -E "s/^\+(.*)$/CONFIG_\1=y/;s/^\-(.*)$/CONFIG_\1=n/" >> .config