diff options
| author | Gabriel Kerneis | 2013-11-11 10:21:16 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-11-11 10:21:16 +0000 |
| commit | f0bbc49b54862bec08df26fa753ac270f2042ae4 (patch) | |
| tree | 216a8bf2eac3154ae662dc9e263834ba65380128 /Makefile | |
| parent | 326a8a7c5a6a8fdf64aa6e800788f0f4cbe65ceb (diff) | |
Remove lem-lib hack
Lem has now switched to the new library by default
(remember to "make ocaml-libs" in Lem to build it).
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,7 +3,7 @@ all: src language src: language - $(MAKE) -C $@ update_lem_lib all + $(MAKE) -C $@ language: $(MAKE) -C $@ |