diff options
Diffstat (limited to 'utils/clflags.ml')
| -rw-r--r-- | utils/clflags.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index b4ac5f47e..0d9b24b2d 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -47,7 +47,6 @@ and recursive_types = ref false (* -rectypes *) and make_runtime = ref false (* -make_runtime *) and gprofile = ref false (* -p *) and c_compiler = ref Config.bytecomp_c_compiler (* -cc *) -and c_linker = ref Config.bytecomp_c_linker (* -cc *) and no_auto_link = ref false (* -noautolink *) and dllpaths = ref ([] : string list) (* -dllpath *) and make_package = ref false (* -pack *) |