From 0b6afe4ae784f284fb5d1584bb49f16b616cfc08 Mon Sep 17 00:00:00 2001
From: j34ni <44261743+j34ni@users.noreply.github.com>
Date: Tue, 11 Feb 2020 15:43:04 +0100
Subject: [PATCH] Added else AR="$AR cruv"

To partly solve #1
---
 src/externals/mct/mpi-serial/configure | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/externals/mct/mpi-serial/configure b/src/externals/mct/mpi-serial/configure
index 5dd570dc928..f6af6615e01 100755
--- a/src/externals/mct/mpi-serial/configure
+++ b/src/externals/mct/mpi-serial/configure
@@ -3202,6 +3202,8 @@ ac_compiler_gnu=$ac_cv_c_compiler_gnu
 
 if test -z "$AR"; then
    AR="ar cruv"
+else
+   AR="$AR cruv"
 fi
 
 # RANLIB