summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWojciech Meyer <wojciech.meyer@gmail.com>2013-01-01 16:17:58 +0000
committerWojciech Meyer <wojciech.meyer@gmail.com>2013-01-01 16:17:58 +0000
commitf97f2f5bab2be60bc82d447bd245973b3e3568a4 (patch)
treeb28066567731d6f5549471abf84f572717bc9faa
parent04bca674d3742791a31e20ef5107cda47a734c42 (diff)
downloadocaml-f97f2f5bab2be60bc82d447bd245973b3e3568a4.tar.gz
PR#5868: Somewhat a better fix for -native option.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--tools/ocamldep.ml6
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/ocamldep.ml b/tools/ocamldep.ml
index 4ec5928f3c..e542dbd007 100644
--- a/tools/ocamldep.ml
+++ b/tools/ocamldep.ml
@@ -250,8 +250,10 @@ let ml_file_dependencies source_file =
let (byt_deps, native_deps) =
Depend.StringSet.fold (find_dependency ML)
extracted_deps init_deps in
- print_dependencies (byte_targets @ extra_targets) byt_deps;
- print_dependencies (native_targets @ extra_targets) native_deps;
+ (match byte_targets @ extra_targets with
+ | [] -> ()
+ | targets -> print_dependencies targets byt_deps);
+ print_dependencies (native_targets @ extra_targets) native_deps
end
let mli_file_dependencies source_file =