steven-y-e
/
kmk
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Makefile fix on installing devdeps

main
Josh Klar 2018-10-07 00:51:37 -07:00
parent 8e743642db
commit d61d3b7b38
No known key found for this signature in database
GPG Key ID: 220F99BD7DB7A99E
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -13,7 +13,7 @@ ARDUINO ?= /usr/share/arduino
PIPENV ?= $(shell which pipenv) PIPENV ?= $(shell which pipenv)
.devdeps: Pipfile.lock .devdeps: Pipfile.lock
@$(PIPENV) install --dev --ignore-pipfile/ @$(PIPENV) install --dev --ignore-pipfile
@touch .devdeps @touch .devdeps
devdeps: .devdeps devdeps: .devdeps