Permalink
Browse files

Fix libinstall target

  • Loading branch information...
1 parent 8a688ab commit 44320c262385407c7ec7f3acca1836051833284a @samoht samoht committed Oct 16, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 Makefile
View
@@ -80,7 +80,7 @@ uninstall:
LIB = opam-lib
CMI = $(shell ls src/*.mli)
_FILES= $(LIB:%=%.a) $(LIB:%=%.cma) $(LIB:%=%.cmxa)\
- $(CMI:%=%.cmi)
+ $(CMI:src/%.mli=%.cmi)
FILES = $(_FILES:%=_obuild/opam-lib/%)
.PHONY: libuninstall libinstall

0 comments on commit 44320c2

Please sign in to comment.