From 63c715b7d7201e2a5e8c1c2769e887446bb5ed35 Mon Sep 17 00:00:00 2001
From: Cosmin Truta <ctruta@gmail.com>
Date: Sun, 11 Feb 2024 23:49:08 +0200
Subject: [PATCH] ci: Remove the workaround for CI_AR from
 ci_verify_makefiles.sh

---
 ci/ci_verify_makefiles.sh | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/ci/ci_verify_makefiles.sh b/ci/ci_verify_makefiles.sh
index 97369baa9..a0db93879 100755
--- a/ci/ci_verify_makefiles.sh
+++ b/ci/ci_verify_makefiles.sh
@@ -110,10 +110,7 @@ function ci_build {
         all_make_vars+=(CPPFLAGS="$CI_CPP_FLAGS")
     }
     [[ $CI_AR ]] && {
-        all_make_vars+=(
-            AR="${CI_AR:-ar}"
-            AR_RC="${CI_AR:-ar} rc"
-        )
+        all_make_vars+=(AR="$CI_AR")
     }
     [[ $CI_RANLIB ]] && {
         all_make_vars+=(RANLIB="$CI_RANLIB")