diff --git a/Makefile b/Makefile index ff9c3c7d1d1dcd5d2fdea46020e629b2cbde22b8..ad536957d45d83a8dbfafa10f79814757470d0cd 100644 --- a/Makefile +++ b/Makefile @@ -12,11 +12,11 @@ all: ${LP_OBJ} .PHONY: install install: lambdapi.pkg - ${LP} install ${LP_FLAGS} lambdapi.pkg ${LP_SRC} + ${LP} install lambdapi.pkg ${LP_SRC} .PHONY: uninstall uninstall: - ${LP} uninstall ${LP_FLAGS} lambdapi.pkg + ${LP} uninstall lambdapi.pkg .PHONY: clean clean: