diff options
author | Pierre Letouzey <pierre.letouzey@inria.fr> | 2013-11-21 22:29:45 +0100 |
---|---|---|
committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2013-11-21 23:04:32 +0100 |
commit | 433fe369bc95d7fe2086cf2256d85443b2420f34 (patch) | |
tree | 1a7e5ecdbf39f4c7dde09c3cf31359c7165d2182 /config/coq_config.mli | |
parent | b3bc0e3a3289314baf95d948578ca4ee51a9db94 (diff) |
configure: CAML_LD_LIBRARY_PATH is enriched, not overwritten
Keeping the earlier content of this variable is crucial for opam
(at least).
Thanks to François Bobot and Thomas Refis for this one...
Diffstat (limited to 'config/coq_config.mli')
0 files changed, 0 insertions, 0 deletions