diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-01-24 16:35:26 +0000 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-01-24 16:35:26 +0000 |
commit | eca0967403d5a5fcbd4176aecb0099ff22b88f2d (patch) | |
tree | 95f3aec76f3bfd06e653444679616fed79ebc28a /driver | |
parent | e5c5963a36ba6b64979deedfab81f3611b622fed (diff) | |
download | ocaml-eca0967403d5a5fcbd4176aecb0099ff22b88f2d.tar.gz |
PR#6167: OCAMLPARAM support for disabling PIC generation ('pic=0')
(Gabor Pali)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15793 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
-rw-r--r-- | driver/compenv.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/driver/compenv.ml b/driver/compenv.ml index 49d180cc88..02de9198f0 100644 --- a/driver/compenv.ml +++ b/driver/compenv.ml @@ -265,6 +265,10 @@ let read_OCAMLPARAM ppf position = first_objfiles := v :: !first_objfiles end + | "pic" -> + if !native_code then + set "pic" [ pic_code ] v + | "can-discard" -> can_discard := v ::!can_discard |