From e07a29b4e647fe10aca7e24c122faf08a3c38a9c Mon Sep 17 00:00:00 2001
From: lantz <rlantz@cs.stanford.edu>
Date: Thu, 28 Jan 2021 16:04:39 -0800
Subject: [PATCH] fix make develop: --no-binary :all: (#1017)

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 9e59011..950c317 100644
--- a/Makefile
+++ b/Makefile
@@ -62,7 +62,7 @@ develop: $(MNEXEC) $(MANPAGES)
 # 	Perhaps we should link these as well
 	install $(MNEXEC) $(BINDIR)
 	install $(MANPAGES) $(MANDIR)
-	$(PYTHON) -m pip install -e . --no-binary
+	$(PYTHON) -m pip install -e . --no-binary :all:
 
 man: $(MANPAGES)