Fix `install` target on OSX (see #495)

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

+install:
+       cd src && $(MAKE) $@
+
+.PHONY: install