blob: 122cf0797dbe9a1e37aef08a597398b106816117 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- a/configure 2020-05-17 17:46:29.826822055 +0200
+++ b/configure 2020-05-17 17:47:37.699808615 +0200
@@ -22,7 +22,7 @@
gmp='auto'
perf='no'
-ar='ar'
+ar="${AR}"
ocaml='ocaml'
ocamlc='ocamlc'
ocamlopt='ocamlopt'
|