commit 63c715b7d7201e2a5e8c1c2769e887446bb5ed35
author Cosmin Truta <ctruta@gmail.com> Sun Feb 11 23:49:08 2024 +0200
committer Cosmin Truta <ctruta@gmail.com> Sun Feb 11 23:49:08 2024 +0200
tree 0d5537fa4f03b89ee3614c4b9a9cf5a0e7c9ad37
parent 1cdde11877fb84d337f33f48cd36c0984203621a

ci: Remove the workaround for CI_AR from ci_verify_makefiles.sh

ci/ci_verify_makefiles.sh

diff --git a/ci/ci_verify_makefiles.sh b/ci/ci_verify_makefiles.sh
index 97369ba..a0db938 100755
--- a/ci/ci_verify_makefiles.sh
+++ b/ci/ci_verify_makefiles.sh
@@ -110,10 +110,7 @@
         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")