diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2004-07-21 09:23:09 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2004-07-21 09:23:09 +0000 |
| commit | 5bdc87c54dcf6af23c3b00d8eb87a8673c17e373 (patch) | |
| tree | 6a6ac3302f46a4cfd41b17a3ffbaced0b779e2b2 /camlp4 | |
| parent | 36014d44dde75b00a463c029b304be3c628df102 (diff) | |
| download | ocaml-5bdc87c54dcf6af23c3b00d8eb87a8673c17e373.tar.gz | |
ajout .PHONY
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6561 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4')
| -rw-r--r-- | camlp4/lib/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/camlp4/lib/Makefile b/camlp4/lib/Makefile index d69e9f5a65..b31818539c 100644 --- a/camlp4/lib/Makefile +++ b/camlp4/lib/Makefile @@ -8,6 +8,8 @@ OBJS=stdpp.cmo token.cmo plexer.cmo gramext.cmo grammar.cmo extfold.cmo extfun.c SHELL=/bin/sh TARGET=gramlib.cma +.PHONY: opt all clean depend promote compare install installopt + all: $(TARGET) opt: opt$(PROFILING) |