diff --git a/Makefile b/Makefile index 4f08126df79d726f8cdb7758175d2ee45c042d71..e614ede891f2dd183a3ae41ea1ac3b63fe2e7634 100644 --- a/Makefile +++ b/Makefile @@ -5,3 +5,7 @@ default: all .DEFAULT: cd src && $(MAKE) $@ +install: + cd src && $(MAKE) $@ + +.PHONY: install