diff options
| -rw-r--r-- | camlp4/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/Makefile b/camlp4/Makefile index 848975cd6..29aa66933 100644 --- a/camlp4/Makefile +++ b/camlp4/Makefile @@ -2,7 +2,7 @@ include config/Makefile -DIRS=odyl camlp4 meta etc top ocpp lib man +DIRS=odyl camlp4 meta etc compile top ocpp lib man FDIRS=odyl camlp4 meta lib OPTDIRS=lib odyl camlp4 meta etc SHELL=/bin/sh |