projects
/
platform
/
upstream
/
tvm.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
e9c90b7
)
[LINT] Remove scalalint from lint deps (#5269)
author
Haichen Shen
<shenhaichen@gmail.com>
Wed, 8 Apr 2020 03:55:48 +0000
(20:55 -0700)
committer
GitHub
<noreply@github.com>
Wed, 8 Apr 2020 03:55:48 +0000
(20:55 -0700)
Makefile
patch
|
blob
|
history
diff --git
a/Makefile
b/Makefile
index
7bfe60b
..
757b330
100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-87,7
+87,7
@@
jnilint:
scalalint:
make -C $(VTA_HW_PATH)/hardware/chisel lint
-lint: cpplint pylint jnilint
scalalint
+lint: cpplint pylint jnilint
doc:
doxygen docs/Doxyfile