[PATCH 4/4] ci: Disable use of cached base repository for fast build by default

["Maxim Yu. Osipov" <mosipov@ilbers.de>]

Build of de0-nano-soc introduced by previous commit
takes a lot of time as it results builds of Linux kernel
and u-boot. Disable the cached base repository usage for fast build case
by default to reduce overall build time. Pass '-r' parameter to ci_build.sh
if you want to use cached base repository.

Signed-off-by: Maxim Yu. Osipov <mosipov@ilbers.de>
---
 scripts/ci_build.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/scripts/ci_build.sh b/scripts/ci_build.sh
index 9c2322f..665bbd0 100755
--- a/scripts/ci_build.sh
+++ b/scripts/ci_build.sh
@@ -81,10 +81,8 @@ do
     -f|--fast)
         # Start build for the reduced set of configurations
         # Enforce cross-compilation to speed up the build
-        # Enable use of cached base repository
         FAST_BUILD="1"
         CROSS_BUILD="1"
-        REPRO_BUILD="1"
         TARGETS_SET="\
                      multiconfig:qemuarm-stretch:isar-image-base \
                      multiconfig:qemuarm64-stretch:isar-image-base \
-- 
2.11.0