diff options
Diffstat (limited to 'utils/config.mli')
| -rw-r--r-- | utils/config.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/utils/config.mli b/utils/config.mli index 897edb6da2..78fe77c6af 100644 --- a/utils/config.mli +++ b/utils/config.mli @@ -46,6 +46,8 @@ val mkmaindll: string (* The linker command line to build main programs as dlls. *) val ranlib: string (* Command to randomize a library, or "" if not needed *) +val ar: string + (* Name of the ar command, or "" if not needed (MSVC) *) val cc_profile : string (* The command line option to the C compiler to enable profiling. *) |