diff --git a/Makefile b/Makefile index 950c317..a608bac 100644 --- a/Makefile +++ b/Makefile @@ -56,6 +56,8 @@ install-manpages: $(MANPAGES) install -D -t $(MANDIR) $(MANPAGES) install: install-mnexec install-manpages +# This seems to work on all pip versions + $(PYTHON) -m pip uninstall mininet || true $(PYTHON) -m pip install . develop: $(MNEXEC) $(MANPAGES)