diff options
| -rw-r--r-- | utils/Makefile | 1 | ||||
| -rwxr-xr-x[-rw-r--r--] | utils/mcpl | 0 |
2 files changed, 1 insertions, 0 deletions
diff --git a/utils/Makefile b/utils/Makefile index 677fdd3..b22c9e1 100644 --- a/utils/Makefile +++ b/utils/Makefile @@ -27,6 +27,7 @@ install: $(INSTALL) dc $(INSTALL_BIN) $(INSTALL) dc-closure-test $(INSTALL_BIN) $(INSTALL) plot-michels $(INSTALL_BIN) + $(INSTALL) mcpl $(INSTALL_BIN) ./setup.py install --prefix=$(PREFIX) .PHONY: install diff --git a/utils/mcpl b/utils/mcpl index 5cfb949..5cfb949 100644..100755 --- a/utils/mcpl +++ b/utils/mcpl |