diff options
author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-09-08 10:45:46 +0000 |
---|---|---|
committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-09-08 10:45:46 +0000 |
commit | 43d0e8d94af03efac23e372c0cd2990e96a751c3 (patch) | |
tree | 74e74c61e736588eb67908b5c9b8de68d3bc9e1b /camlp4 | |
parent | cb2764c38ae3a8e5b5b33332e3bf47ae614d0ceb (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/Makefile | 2 |
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: |