fix AR problem on Galaxy

Anne Fouilloux · Anne Fouilloux · commit 444fcbe7a54e · 2020-06-22T17:47:59.000+02:00
diff --git a/src/externals/mct/configure b/src/externals/mct/configure
@@ -5266,6 +5266,8 @@ fi
 # ARCHIVE COMMAND SIMILAR ACROSS ALL PLATFORMS
 if test -z "$AR"; then
    AR="ar cq"
+else
+   AR="$AR cq"
 fi
 
 # RANLIB
