From 4128937d3786769bc90f3639f8dabb4a5bee5ffb Mon Sep 17 00:00:00 2001
From: Timofey Turenko <timofey.turenko@mariadb.com>
Date: Tue, 9 Apr 2019 15:33:52 +0300
Subject: [PATCH] fix rhel repo copying

---
 BUILD/mdbci/copy_repos.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/BUILD/mdbci/copy_repos.sh b/BUILD/mdbci/copy_repos.sh
index 6175adf3f..71c3483ec 100755
--- a/BUILD/mdbci/copy_repos.sh
+++ b/BUILD/mdbci/copy_repos.sh
@@ -9,6 +9,9 @@ if [ "$box_type" == "RPM" ] ; then
         # and to run install and upgrade tests
         # with thre real RHEL, but we use CentOS packages for production
         if [[ "$platform" != "rhel" || ( "$platform" == "rhel"  && "$platform_version" == "8" ) ]]; then
+                if [[ "$platform" == "rhel"  && "$platform_version" == "8" ]]; then
+                        export platform="centos"
+                fi
                 export arch=`ssh $sshopt "arch"`
                 . ${script_dir}/generate_build_info_path.sh