diff options
Diffstat (limited to 'src/versions/standard/Makefile.local')
-rw-r--r-- | src/versions/standard/Makefile.local | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/versions/standard/Makefile.local b/src/versions/standard/Makefile.local index a5fad33..045af88 100644 --- a/src/versions/standard/Makefile.local +++ b/src/versions/standard/Makefile.local @@ -22,10 +22,6 @@ clean:: CAMLLEX = $(CAMLBIN)ocamllex CAMLYACC = $(CAMLBIN)ocamlyacc -CAMLPKGS += -package num - -merlin-hook:: - $(HIDE)echo 'PKG num' >> .merlin %.ml : %.mll $(CAMLLEX) $< |