summaryrefslogtreecommitdiffstats
path: root/camlp4
diff options
context:
space:
mode:
authorDaniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>2001-09-08 10:45:46 +0000
committerDaniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>2001-09-08 10:45:46 +0000
commit43d0e8d94af03efac23e372c0cd2990e96a751c3 (patch)
tree74e74c61e736588eb67908b5c9b8de68d3bc9e1b /camlp4
parentcb2764c38ae3a8e5b5b33332e3bf47ae614d0ceb (diff)
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3729 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4')
-rw-r--r--camlp4/top/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/top/Makefile b/camlp4/top/Makefile
index 5bd2a3504..778bb4ddf 100644
--- a/camlp4/top/Makefile
+++ b/camlp4/top/Makefile
@@ -35,7 +35,7 @@ depend:
cp .depend .depend.bak
> .depend
@for i in *.mli *.ml; do \
- ../tools/apply.sh pr_depend.cmo -- $$i >> .depend; \
+ ../tools/apply.sh pr_depend.cmo -- -I ../camlp4 -I ../boot $$i >> .depend; \
done
get_promote: