diff options
| author | Michel Mauny <Michel.Mauny@ensta.fr> | 2004-05-25 13:12:28 +0000 |
|---|---|---|
| committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2004-05-25 13:12:28 +0000 |
| commit | 9552ac6eec6f5ce873cad3629b2ee9575449444f (patch) | |
| tree | 148d5fa9b2b64a36df0af53b1f24839ded7e3112 /bytecomp | |
| parent | 6294af5c67934737571c803685be4318d10a6f24 (diff) | |
Fixed PR#1885: Portability problem with "make installopt" in camlp4/lib on OpenBSD 3.3
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp')
0 files changed, 0 insertions, 0 deletions