diff options
| author | letouzey | 2009-04-08 23:23:57 +0000 |
|---|---|---|
| committer | letouzey | 2009-04-08 23:23:57 +0000 |
| commit | e2a8e020542e32b51ff5951d40bed3dad68c903d (patch) | |
| tree | 675d0cbe8d45857b9f4949320ec710e30b58a9ac | |
| parent | f5cca358cd17a3f0aa9f9e4696d2366ad6df1841 (diff) | |
ocamlbuild: right symlink for csdpcert
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12074 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | myocamlbuild.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/myocamlbuild.ml b/myocamlbuild.ml index 961e850586..f8d5d06815 100644 --- a/myocamlbuild.ml +++ b/myocamlbuild.ml @@ -201,7 +201,7 @@ let rec make_bin_links = function if opt then ln_sf (obd^".native") (bd^".opt"); ln_sf (b^best_ext) bd | Best -> ln_sf (obd^best_oext) bd - | BestInPlace -> ln_sf (b^best_oext) ob + | BestInPlace -> ln_sf (b^best_oext) (!_build^"/"^ob) let incl f = Ocaml_utils.ocaml_include_flags f |