diff options
Diffstat (limited to 'utils/clflags.ml')
| -rw-r--r-- | utils/clflags.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index 0c82dee4a..7da86147c 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -15,7 +15,8 @@ (* Command-line parameters *) let objfiles = ref ([] : string list) (* .cmo and .cma files *) -and ccobjs = ref ([] : string list) (* .o, .a, .so and -lxxx files *) +and ccobjs = ref ([] : string list) (* .o, .a, .so and -cclib -lxxx *) +and dllibs = ref ([] : string list) (* .so and -dllib -lxxx *) let compile_only = ref false (* -c *) and exec_name = ref "a.out" (* -o *) |