summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNicolas Pouillard <np@nicolaspouillard.fr>2007-11-22 16:55:05 +0000
committerNicolas Pouillard <np@nicolaspouillard.fr>2007-11-22 16:55:05 +0000
commit2b906d0efa7d51e9333eebd66ac22d427875f0f9 (patch)
tree8d591b83a9f010b90c407c2a53ca111ec91038a8
parented05b821de2b5fdbddce36f424d60ebf49685588 (diff)
[ocamlbuild] Fix a bug in stamp (add stamp in prods list).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8594 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--ocamlbuild/rule.ml7
1 files changed, 4 insertions, 3 deletions
diff --git a/ocamlbuild/rule.ml b/ocamlbuild/rule.ml
index ea7038815..e717c3da9 100644
--- a/ocamlbuild/rule.ml
+++ b/ocamlbuild/rule.ml
@@ -310,10 +310,11 @@ let gen_rule name ?(tags=[]) ?(prods=[]) ?(deps=[]) ?prod ?dep ?stamp ?(insert =
end xs init
in
if prods = [] && prod = None && stamp = None then raise (Exit_rule_error "Can't make a rule that produce nothing");
- let stamp =
+ let stamp, prods =
match stamp with
- | None -> None
- | Some stamp -> Some (Resource.import_pattern stamp)
+ | None -> None, prods
+ | Some stamp ->
+ Some (Resource.import_pattern stamp), stamp :: prods
in
let prods = res_add Resource.import_pattern prods prod in
add_rule insert