diff options
Diffstat (limited to 'utils/clflags.ml')
| -rw-r--r-- | utils/clflags.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index cda46bd2e..b4ac5f47e 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -88,3 +88,7 @@ let std_include_flag prefix = let std_include_dir () = if !no_std_include then [] else [Config.standard_library] ;; + +let shared = ref false (* -shared *) +let dlcode = ref false (* -dlcode *) + |