From 6b90434b9c8e6aadcd8b6a9eb282fb0f39bbca0c Mon Sep 17 00:00:00 2001
From: lantz <rlantz@cs.stanford.edu>
Date: Sun, 7 Feb 2021 18:42:29 -0800
Subject: [PATCH] Allow reinstall with `make install` (#1033)

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

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)