⬆️ added script to update cpplint

allenk · Mar 28, 2019 · 2363570 · 2363570
1 parent 191aa0f
commit 2363570
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 0 deletions.
diff --git a/third_party/cpplint/LICENSE b/third_party/cpplint/LICENSE
diff --git a/third_party/cpplint/README.rst b/third_party/cpplint/README.rst
diff --git a/third_party/cpplint/update.sh b/third_party/cpplint/update.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+wget -N https://raw.githubusercontent.com/cpplint/cpplint/master/cpplint.py
+wget -N https://raw.githubusercontent.com/cpplint/cpplint/master/LICENSE
+wget -N https://raw.githubusercontent.com/cpplint/cpplint/master/README.rst