From d61d3b7b3806346cc63d1d51584fd6dac7b0cd03 Mon Sep 17 00:00:00 2001
From: Josh Klar <josh@klar.sh>
Date: Sun, 7 Oct 2018 00:51:37 -0700
Subject: [PATCH] Makefile fix on installing devdeps

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

diff --git a/Makefile b/Makefile
index 5b2134c..276565e 100644
--- a/Makefile
+++ b/Makefile
@@ -13,7 +13,7 @@ ARDUINO ?= /usr/share/arduino
 PIPENV ?= $(shell which pipenv)
 
 .devdeps: Pipfile.lock
-	@$(PIPENV) install --dev --ignore-pipfile/
+	@$(PIPENV) install --dev --ignore-pipfile
 	@touch .devdeps
 
 devdeps: .devdeps