diff options
| author | Alain Frisch <alain@frisch.fr> | 2007-06-15 15:09:54 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2007-06-15 15:09:54 +0000 |
| commit | a29cd18da0470f3e86c9af0e5decb01a4a374ea4 (patch) | |
| tree | c90478ee1a91c5afad643157f3d815091c42c32d | |
| parent | 3de2aaa197daac8f5771662aef504bfae7d2eff2 (diff) | |
| download | ocaml-a29cd18da0470f3e86c9af0e5decb01a4a374ea4.tar.gz | |
*** empty log message ***
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/natdynlink@8355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | driver/optmain.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/optmain.ml b/driver/optmain.ml index b5a510e9b5..5227ec308f 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -212,9 +212,9 @@ let main () = ]) (process_file ppf) usage; if List.length (List.filter (fun x -> !x) - [make_archive;make_package;shared]) > 1 + [make_archive;make_package;shared;compile_only]) > 1 then begin - prerr_endline "Please specify at most one of -pack, -a, -shared"; + prerr_endline "Please specify at most one of -pack, -a, -shared, -c"; exit 2 end; if !make_archive then begin |