diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2000-01-24 16:20:57 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2000-01-24 16:20:57 +0000 |
| commit | 548c2f15dc6f15672d3412408859fd81a91ead9c (patch) | |
| tree | 18111e6b3b6569747390a4335299da46a0eb068d | |
| parent | f989bc95951b70d5e12eded60c90bc5a9375ba7a (diff) | |
je ne sais plus ce que j'ai change
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2765 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | driver/optmain.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/optmain.ml b/driver/optmain.ml index 8fa7acc78..4e5f4766d 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -143,7 +143,7 @@ let main () = Optcompile.init_path(); Asmlibrarian.create_archive (List.rev !objfiles) !archive_name end - else if not !compile_only & !objfiles <> [] then begin + else if not !compile_only && !objfiles <> [] then begin Optcompile.init_path(); Asmlink.link (List.rev !objfiles) end; |