Skip to content

Commit

Permalink
Remove from Makefile: OPAM_LIBDIR, OPAM_PREFIX
Browse files Browse the repository at this point in the history 
These are unused.

Signed-off-by: Christian Lindig <[email protected]>
  • Loading branch information
@lindig
lindig committed Jan 21, 2019
1 parent f580b72 commit bd7f21f
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions Makefile
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,3 @@
OPAM_PREFIX?=$(shell opam config var prefix)
OPAM_LIBDIR?=$(shell opam config var lib)

.PHONY: release build install uninstall clean test doc reindent

release:
Expand Down

0 comments on commit bd7f21f

Please sign in to comment.